Data Flow Testing in Concurrent Programs with Message Passing and Shared Memory Paradigms.
Paulo Sergio Lopes de SouzaSimone do Rocio Senger de SouzaMurilo G. RochaRafael R. PradoRaphael Negrisoli BatistaPublished in: ICCS (2013)
Keyphrases
- data flow
- message passing
- shared memory
- concurrent programs
- belief propagation
- distributed memory
- distributed systems
- process algebra
- parallel computing
- concurrent programming
- parallel programming
- data transfer
- parallel machines
- parallel architectures
- concurrent processes
- parallel architecture
- formal specification
- markov random field
- graphical models
- graph cuts
- web applications
- web services
- query language
- programming language
- model checking
- computer vision