Travelled to:1 × Estonia
Collaborated with:A.Knapp
Talks about:correct (1) execut (1) model (1) simt (1) gpus (1)
Person: Axel Habermaier
DBLP: Habermaier:Axel
Contributed to:
Wrote 1 papers:
- ESOP-2012-HabermaierK #correctness #execution #on the
- On the Correctness of the SIMT Execution Model of GPUs (AH, AK), pp. 316–335.












