On the Correctness of the SIMT Execution Model of GPUs
Axel Habermaier, Alexander Knapp
Technical Report 2012-01
erschienen 12.01.2012
in: Augsburg
Technical Report 2012-01, Institute of Computer Science, University of Augsburg
