Login / Signup
Engineering a Static Verification Tool for GPU Kernels.
Ethel Bardsley
Adam Betts
Nathan Chong
Peter Collingbourne
Pantazis Deligiannis
Alastair F. Donaldson
Jeroen Ketema
Daniel Liew
Shaz Qadeer
Published in:
CAV (2014)
Keyphrases
</>
computer science
real time
support vector
engineering design
software engineering
model checking
mechanical engineering
parallel computing
object oriented
neural network
general purpose
user friendly
software tools
face recognition
computer aided design
signature verification
formal verification