ISP: A Tool for Model Checking MPI Programs
Main Authors: | Vakkalanka, S, Sharma, S, Gopalakrishnan, G, Kirby, R |
---|---|
Format: | Conference item |
Published: |
ACM
2008
|
Similar Items
-
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
by: Sharma, S, et al.
Published: (2008) -
Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications
by: Sharma, S, et al.
Published: (2012) -
A Sound Reduction of Persistent−Sets for Deadlock Detection in MPI Applications
by: Sharma, S, et al.
Published: (2012) -
ISP survival guide : strategies for running a competitive ISP /
by: 258635 Huston, Geoff
Published: (1999) -
ISP Distillation
by: Eli Schwartz, et al.
Published: (2023-01-01)