VATPA: a simulation environment for message-passing concurrent systems.
Hui LiuMaung T. NyeuDavid Y. Y. YunWoei LinPublished in: COMPSAC (1992)
Keyphrases
- message passing
- simulation environment
- concurrent systems
- distributed systems
- simulation model
- shared memory
- temporal logic
- probabilistic inference
- belief propagation
- sum product algorithm
- factor graphs
- inference in graphical models
- simulation tools
- simulation tool
- formal specification
- petri net
- approximate inference
- model checking
- distributed shared memory
- matrix multiplication
- max product
- sum product
- dynamic programming
- ldpc codes
- markov random field
- probabilistic model