C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
MTraceCheck: Validating Non-Deterministic Behavior of Memory Consistency Models in Post-Silicon Validation.
Doowon Lee
Valeria Bertacco
Published in:
ISCA (2017)
Keyphrases
</>
database
complex systems
experimental data
statistical models
parametric models
model validation
multi agent
parameter estimation
computational models
behavioral models