Verification Method for Accumulative Event Relation of Message Passing Behavior with Process Tree for IoT Systems.
Mohd Anuaruddin Bin AhmadonShingo YamaguchiPublished in: Inf. (2020)
Keyphrases
- message passing
- distributed systems
- distributed shared memory
- belief propagation
- management system
- verification method
- graphical models
- approximate inference
- inference in graphical models
- higher order
- probabilistic inference
- markov random field
- shared memory
- junction tree
- factor graphs
- image processing
- cloud computing
- sum product
- preprocessing