Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps.
Abhishek DhamaJens OehlerkingOliver E. TheelPublished in: ICPADS (1) (2006)
Keyphrases
- learning algorithm
- benchmark datasets
- data structure
- computational complexity
- theoretical analysis
- sufficient conditions
- distributed computation
- communication cost
- dynamical systems
- model checking
- data mining algorithms
- mobile agents
- orders of magnitude
- data mining
- peer to peer
- worst case
- computational cost
- multiscale
- genetic algorithm