Low-cost control flow error protection by exploiting available redundancies in the pipeline.
Mohammad Abdur RoufSoontae KimPublished in: ASP-DAC (2012)
Keyphrases
- control flow
- low cost
- data flow
- process model
- software testing
- error rate
- real time
- workflow management systems
- transition systems
- modeling language
- reactive systems
- databases
- case study
- open source
- data structure
- business processes
- decision making
- information security
- artificial intelligence
- database systems
- data sets
- formal semantics
- database
- high level
- memory hierarchy
- business process models