Login / Signup

Deadlock Analysis of Synchronous Message-Passing Programs.

Jun ZhouKuo-Chung Tai
Published in: PDSE (1999)
Keyphrases
  • message passing
  • distributed systems
  • belief propagation
  • approximate inference
  • shared memory
  • markov random field
  • reinforcement learning
  • graph cuts
  • first order logic
  • probabilistic inference