Back to Results
First PageMeta Content
Parallel computing / Application programming interfaces / Computer programming / Message Passing Interface / Computing / Edsger W. Dijkstra / Deadlock / NC / Software engineering / Model checking


Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs
Add to Reading List

Document Date: 2014-02-26 06:04:38


Open Document

File Size: 356,13 KB

Share Result on Facebook