Login / Signup
Pipe Check: Specifying and Verifying Microarchitectural Enforcement of Memory Consistency Models.
Daniel Lustig
Michael Pellauer
Margaret Martonosi
Published in:
MICRO (2014)
Keyphrases
</>
experimental data
statistical models
database
real time
data sets
data mining
machine learning
information retrieval
access control
parameter estimation
cross section
memory size