Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study.
Anna PogosyantsRoberto SegalaNancy A. LynchPublished in: WDAG (1997)
Keyphrases
- optimization problems
- information retrieval
- randomized algorithms
- recently developed
- times faster
- computational efficiency
- orders of magnitude
- computational cost
- worst case
- computational complexity
- benchmark datasets
- data structure
- data mining algorithms
- bayesian networks
- database systems
- learning algorithm
- data clustering
- greedy algorithm
- graph theory
- machine learning