Distributed Safety Verification Using Vertex Centric Programming Model.
Adhish SinglaKrishnaji DesaiSuresh PuriniVenkatesh ChoppellaPublished in: ISPDC (2016)
Keyphrases
- computational model
- probabilistic model
- formal model
- cooperative
- mathematical model
- case study
- experimental data
- statistical model
- real time
- theoretical analysis
- distributed systems
- prediction model
- distributed environment
- conceptual model
- network structure
- em algorithm
- programming language
- management system
- probability distribution
- objective function
- database systems
- high level
- genetic algorithm
- data sets