Login / Signup
TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA.
Caroline Trippel
Yatin A. Manerkar
Daniel Lustig
Michael Pellauer
Margaret Martonosi
Published in:
ASPLOS (2017)
Keyphrases
</>
probabilistic model
computational model
computer systems
high level
probability distribution
management system
neural network
low cost
verification method
computing power
embedded systems
statistical model
mathematical model
access control
multi agent systems
similarity measure
image processing