Login / Signup

On the Correctness of the SIMT Execution Model of GPUs.

Axel HabermaierAlexander Knapp
Published in: ESOP (2012)
Keyphrases
  • execution model
  • active rules
  • transaction management
  • general purpose
  • data sets
  • multi dimensional
  • deductive databases