Deterministic replay for message-passing-based concurrent programs.
Mohamed ElwakilZijiang YangPublished in: ACM Trans. Design Autom. Electr. Syst. (2012)
Keyphrases
- message passing
- concurrent programs
- belief propagation
- distributed systems
- factor graphs
- process algebra
- web applications
- concurrent programming
- markov random field
- probabilistic inference
- sum product algorithm
- distributed shared memory
- inference in graphical models
- sum product
- shared memory
- concurrent processes
- approximate inference
- asynchronous circuits
- knowledge base
- machine learning
- model checking
- pairwise
- three dimensional
- artificial intelligence