CFCET: A hardware-based control flow checking technique in COTS processors using execution tracing.
Amir RajabzadehSeyed Ghassem MiremadiPublished in: Microelectron. Reliab. (2006)
Keyphrases
- control flow
- memory hierarchy
- data flow
- high end
- process model
- third party
- parallel architectures
- workflow management systems
- parallel processors
- embedded processors
- parallel computation
- software testing
- multithreading
- software components
- transition systems
- parallel execution
- computing systems
- computing power
- instruction set
- parallel computing
- processing units
- parallel processing
- processing elements
- formal semantics
- single chip
- embedded systems
- parallel algorithm
- case study
- modeling language
- software development
- xml documents
- high level