MemSAT: checking axiomatic specifications of memory models.

Emina Torlak Mandana Vaziri Julian Dolby

Published in: PLDI (2010)

Keyphrases

statistical models
information retrieval
artificial intelligence
probabilistic model
machine learning algorithms
complex systems
neural network
data mining
decision making
high level
parameter estimation