Weak atomicity under the x86 memory consistency model.

Amitabha Roy Steven Hand Tim Harris

Published in: PPOPP (2011)

Keyphrases

probabilistic model
mathematical model
formal model
database
real time
genetic algorithm
parameter estimation
experimental data
data sets
image sequences
hidden markov models
computational model
process model