Short correctness proofs for two self-stabilizing algorithms under the distributed daemon model.
Ji-Cherng LinMing-Yi ChiuPublished in: Discret. Appl. Math. (2009)
Keyphrases
- computational model
- theoretical analysis
- experimental data
- conceptual model
- statistical model
- formal model
- machine learning algorithms
- model free
- mathematical model
- optimization problems
- management system
- high level
- distributed systems
- image segmentation
- least squares
- orders of magnitude
- probability distribution
- computational complexity
- network structure
- cooperative
- objective function
- linear models