Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs

Lignende værker

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