Fences in weak memory models (extended version).

Jade Alglave Luc Maranget Susmit Sarkar Peter Sewell

Published in: Formal Methods Syst. Des. (2012)

Keyphrases

statistical models
model selection
probabilistic model
classification models
real time
data sets
databases
reinforcement learning
video sequences
search algorithm
pairwise
complex systems
statistical model
computational models
computing power