Generating Litmus Tests for Contrasting Memory Consistency Models.

Sela Mador-Haim Rajeev Alur Milo M. K. Martin

Published in: CAV (2010)

Keyphrases

probabilistic model
statistical models
computer vision
bayesian networks
expert systems
least squares
graphical models
model selection
experimental data