Login / Signup
On the Correctness of the SIMT Execution Model of GPUs.
Axel Habermaier
Alexander Knapp
Published in:
ESOP (2012)
Keyphrases
</>
execution model
active rules
transaction management
general purpose
data sets
multi dimensional
deductive databases