SHF: Small: Transforming Computer Architecture Evaluation with Statistical Model Checking
Administered By
Awarded By
Contributors
- Pajic, Miroslav Co-Principal Investigator
- Sorin, Daniel J. Principal Investigator
Start/End
- November 1, 2021 - October 31, 2024