Practical Symbolic Race Checking of GPU Programs.

Peng Li Guodong Li Ganesh Gopalakrishnan

Published in: SC (2014)

Keyphrases

intermediate level
high level
real time
graphics hardware
data sets
automatic programming
symbolic representation
low level
real world
practical application
parallel implementation
computer programs
parallel computation
hidden markov models
artificial intelligence
multi threaded
java programs
connectionist systems