Login / Signup
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.
Vojtech Forejt
Daniel Kroening
Ganesh Narayanaswamy
Subodh Sharma
Published in:
FM (2014)
Keyphrases
</>
general purpose
image analysis
data sets
machine learning
decision trees
bayesian networks
probabilistic model
distributed systems
data acquisition