Litmus tests for comparing memory consistency models: how long do they need to be?

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

Published in: DAC (2011)

Keyphrases

complex systems
probabilistic model
machine learning
statistical models
neural network
genetic algorithm
information systems
relational databases
classification models
mathematical models
modeling framework