SuchePublications
2012
- On the Correctness of the SIMT Execution Model of GPUs
Axel Habermaier, Alexander Knapp
Technical Report 2012-01, Institute of Computer Science, University of Augsburg
abstract; Article available on the publication server of the University of Augsburg;
2011
- The Model of Computation of CUDA and its Formal Semantics
Axel Habermaier
Technical Report 2011-14, Institute of Computer Science, University of Augsburg
abstract; Article available on the publication server of the University of Augsburg;