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