Runtime Verification: A Computer Architecture Perspective.

Published in: RV (2011)

Keyphrases

computer architecture
computer systems
computer science
high performance computing
parallel computing
model checking
artificial intelligence
pairwise
dynamical systems
design space exploration