Sign in
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.
Vojtech Forejt
Saurabh Joshi
Daniel Kroening
Ganesh Narayanaswamy
Subodh Sharma
Published in:
ACM Trans. Program. Lang. Syst. (2017)
Keyphrases
</>
computer systems
computer networks
static analysis
communication networks
image analysis
data sets
real world
data analysis
quantitative analysis