Towards Automatic Convergence Verification of Self-stabilizing Algorithms.
Jens OehlerkingAbhishek DhamaOliver E. TheelPublished in: Self-Stabilizing Systems (2005)
Keyphrases
- data structure
- convergence rate
- significant improvement
- recently developed
- computationally efficient
- theoretical analysis
- theoretical justification
- global convergence
- times faster
- model checking
- orders of magnitude
- machine learning algorithms
- computational cost
- computational complexity
- benchmark datasets
- data mining techniques
- probabilistic model
- iterative algorithms
- real time