Login / Signup
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels.
Peter Collingbourne
Alastair F. Donaldson
Jeroen Ketema
Shaz Qadeer
Published in:
ESOP (2013)
Keyphrases
</>
real time
post processing
data mining
data analysis
general purpose
data sets
neural network
information systems
case study
relational databases
knowledge representation
statistical analysis
database management systems