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