Verifying Correct Microarchitectural Enforcement of Memory Consistency Models.

Daniel Lustig Michael Pellauer Margaret Martonosi

Published in: IEEE Micro (2015)

Keyphrases

statistical models
complex systems
databases
neural network
data mining
website
prior knowledge
probabilistic model
access control
model selection
statistical model
experimental data