C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A symbolic verifier for CUDA programs.
Guodong Li
Ganesh Gopalakrishnan
Robert M. Kirby
Daniel J. Quinlan
Published in:
PPOPP (2010)
Keyphrases
</>
general purpose
intermediate level
high level
parallel computing
information systems
low level
times faster
symbolic data
parallel implementation
computer programs
smart card
symbolic description
connectionist models
control program
automatic programming
real time
object oriented
data model
machine learning