C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Full-Stack Memory Model Verification with TriCheck.
Caroline Trippel
Yatin A. Manerkar
Daniel Lustig
Michael Pellauer
Margaret Martonosi
Published in:
IEEE Micro (2018)
Keyphrases
</>
high level
probabilistic model
cost function
computational model
conceptual model
experimental data
data sets
markov random field
parameter estimation
probability distribution
statistical model
objective function
image sequences
neural network model
computational models
simulation model
network model
autoregressive