ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models.
Nicolás RosnerJuan P. GaleottiCarlos López PomboMarcelo F. FriasPublished in: ASM (2010)
Keyphrases
- probabilistic model
- main contribution
- statistical analysis
- analysis tool
- modeling framework
- statistical models
- markov random field
- machine learning
- data driven approaches
- model validation
- empirical data
- data analysis
- information systems
- lightweight
- prior knowledge
- experimental data
- bayesian framework
- social networks
- learning algorithm
- mathematical framework
- parallel execution
- genetic algorithm
- real time