Result: Rigorous Evaluation of Computer Processors with Statistical Model Checking

Title:
Rigorous Evaluation of Computer Processors with Statistical Model Checking
Authors:
Mazurek, Filip, Tschand, Arya, Wang, Yu, Pajic, Miroslav, Sorin, Daniel J.
Source:
2023 56th IEEE/ACM International Symposium on Microarchitecture (MICRO) Microarchitecture (MICRO), 2023 56th IEEE/ACM International Symposium on. :1242-1254 Oct, 2023
Relation:
2023 56th IEEE/ACM International Symposium on Microarchitecture (MICRO)
Database:
IEEE Xplore Digital Library