Sign in
Control-flow error detection using combining basic and program-level checking in commodity multi-core architectures.
Navid Khoshavi
Hamid R. Zarandi
Mohammad Maghsoudloo
Published in:
SIES (2011)
Keyphrases
</>
control flow
error detection
data flow
error correction
software testing
process model
error recovery
workflow management systems
data cleansing
fault tolerance
business process models
database
multi agent
formal semantics
error control
fault isolation