Reliability-aware Register Binding for Control-Flow Intensive Designs.

Liang Chen Mehdi Baradaran Tahoori

Published in: DAC (2014)

Keyphrases

control flow
data flow
software testing
process model
transition systems
workflow management systems
reactive systems
modeling language
artificial intelligence
formal semantics
business process models
database
real world
intelligent systems