MCjammer: Adaptive Verification for Multi-core Designs.

Ilya Wagner Valeria Bertacco

Published in: DATE (2008)

Keyphrases

model checking
data sets
neural network
case study
hidden markov models
data driven
decision making
website
decision trees
face recognition
user interface