research
∙
05/16/2023
Auto-Tuning High-Performance Programs Using Model Checking in Promela
The paper combines research approaches that traditionally have been disj...
share
research
∙
05/05/2023
Descend: A Safe GPU Systems Programming Language
Graphics Processing Units (GPU) offer tremendous computational power by ...
research
∙
02/06/2020
