Fences in Weak Memory Models.

Jade Alglave Luc Maranget Susmit Sarkar Peter Sewell

Published in: CAV (2010)

Keyphrases

statistical models
probabilistic model
genetic algorithm
similarity measure
data model
neural network model
generative model
memory requirements
accurate models