Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs

Documenti analoghi

• Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
  di: Forejt, V, et al.
  Pubblicazione: (2017)
• Discovering and correcting a deadlock in a channel implementation
  di: Lowe, G
  Pubblicazione: (2019)
• Sound static deadlock analysis for C/Pthreads
  di: Kroening, D, et al.
  Pubblicazione: (2016)
• Deadlock analysis in networks of communicating processes
  di: Roscoe, A, et al.
  Pubblicazione: (1985)
• Deadlock analysis in networks of communicating processes
  di: Roscoe, A, et al.
  Pubblicazione: (1991)