Critical Signature Assertion and On-the-Fly Recovery for Control Flow Errors in Processors.
Ing-Jer HuangYi-Ju KeShih-Jung PaoPublished in: MCSoC (2022)
Keyphrases
- control flow
- data flow
- error detection
- memory hierarchy
- process model
- software testing
- parallel processing
- parallel algorithm
- workflow management systems
- transition systems
- reactive systems
- modeling language
- business process models
- cooperative
- decision trees
- formal semantics
- database
- database management systems
- software development
- artificial intelligence