CLASS: Combined logic and architectural soft error sensitivity analysis.

Mojtaba Ebrahimi Liang Chen Hossein Asadi Mehdi Baradaran Tahoori

Published in: ASP-DAC (2013)

Keyphrases

sensitivity analysis
managerial insights
variational inequalities
influence diagrams
software architecture
finite number
error analysis
data sets
learning algorithm
decision making
logic programming
error rate
error bounds
modal logic
classical logic
architectural design