A Sound Reduction of Persistent−Sets for Deadlock Detection in MPI Applications

Benzer Materyaller

• Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications
  Yazar:: Sharma, S, ve diğerleri
  Baskı/Yayın Bilgisi: (2012)
• Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
  Yazar:: Forejt, V, ve diğerleri
  Baskı/Yayın Bilgisi: (2017)
• A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
  Yazar:: Sharma, S, ve diğerleri
  Baskı/Yayın Bilgisi: (2008)
• ISP: A Tool for Model Checking MPI Programs
  Yazar:: Vakkalanka, S, ve diğerleri
  Baskı/Yayın Bilgisi: (2008)
• Sound static deadlock analysis for C/Pthreads
  Yazar:: Kroening, D, ve diğerleri
  Baskı/Yayın Bilgisi: (2016)