Parallel Partial Order Reduction with Topological Sort Proviso.
Jiri BarnatLubos BrimPetr RockaiPublished in: SEFM (2010)
Keyphrases
- partial order reduction
- model checking
- petri net
- shared memory
- general purpose
- parallel processing
- parallel computation
- topological properties
- databases
- parallel implementation
- parallel computing
- distributed systems
- hidden markov models
- machine learning
- computer architecture
- distributed memory
- distributed processing
- parallel hardware
- real world