C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Runtime Verification: A Computer Architecture Perspective.
Sharad Malik
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