Quantitative Analysis of Control Flow Checking Mechanisms for Soft Errors.

Aviral Shrivastava Abhishek Rhisheekesan Reiley Jeyapaul Carole-Jean Wu

Published in: DAC (2014)

Keyphrases

quantitative analysis
control flow
data flow
qualitative analysis
process model
software testing
qualitative evaluation
qualitative and quantitative analysis
transition systems
workflow management systems
business process models
modeling language
databases
multi agent systems
medical images
formal semantics