Majority Logic Mapping for Soft Error Dependability.

Lorenzo Petroli Carlos Arthur Lang Lisbôa Fernanda Lima Kastensmidt Luigi Carro

Published in: J. Electron. Test. (2008)

Keyphrases

error rate
logic programming
multi valued
relative error
error free
complex systems
proof theory
error detection
automated reasoning
estimation error
modal logic
error bounds
ambient intelligence
case study
machine learning
neural network
software systems
context aware
bayesian networks
artificial intelligence