Suche

On the Correctness of the SIMT Execution Model of GPUs

Axel Habermaier, Alexander Knapp

In: Helmut Seidl (Hg.). Proc. 21st Europ. Symp. Programming Languages and Systems (ESOP'12). Lect. Notes Comp. Sci. 7211. Springer, Berlin, 2012. S. 316-335. DOI: http://dx.doi.org/10.1007/978-3-642-28869-2_16


Downloads:

  • PDF  -  (habermaier-knapp_esop_2012.pdf, 342 KB)