Explaining Relaxed Memory Models with Program Transformations.

Ori Lahav Viktor Vafeiadis

Published in: FM (2016)

Keyphrases

mathematical models
probabilistic model
databases
real world
website
prior knowledge
model selection
statistical models
metamodel
classification models
autoregressive
accurate models