• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Trace-Based Run-Time Analysis of Message-Passing Go Programs.

Martin SulzmannKai Stadtmüller
Published in: Haifa Verification Conference (2017)
Keyphrases
  • message passing
  • belief propagation
  • distributed systems
  • probabilistic inference
  • factor graphs
  • reinforcement learning
  • image features
  • markov random field
  • graphical models
  • logic programming