C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Parametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs.
Peng Li
Guodong Li
Ganesh Gopalakrishnan
Published in:
SC (2012)
Keyphrases
</>
statistical analysis
computer aided
dynamic analysis
data sets
neural network
information systems
general purpose
automated analysis
manual inspection