Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms.
Manamiary Bruno AndriamiarinaDominique MéryNeeraj Kumar SinghPublished in: IFM (2013)
Keyphrases
- learning algorithm
- cooperative
- distributed systems
- statistical models
- distributed constraint optimization problems
- distributed computation
- theoretical analysis
- orders of magnitude
- recently developed
- regression model
- distributed constraint optimization
- linear models
- finite state machines
- mathematical models
- computational efficiency
- experimental data
- complex systems
- benchmark datasets
- computationally efficient
- model selection
- probabilistic model
- evolutionary algorithm
- database systems