Login / Signup
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