A Compiler-Assisted On-Chip Assigned-Signature Control Flow Checking.

Xiaobin Li Jean-Luc Gaudiot

Published in: Asia-Pacific Computer Systems Architecture Conference (2004)

Keyphrases

control flow
data flow
level parallelism
software testing
high speed
process model
programming language
workflow management systems
software systems
reactive systems
formal semantics
business process models
business processes
test cases
information technology
multithreading
databases