Compositional Verification of Randomized Distributed Algorithms.
Roberto SegalaPublished in: COMPOS (1997)
Keyphrases
- learning algorithm
- cooperative
- computational cost
- computational complexity
- randomized algorithms
- recently developed
- computationally expensive
- orders of magnitude
- benchmark datasets
- distributed systems
- worst case
- significant improvement
- database
- neural network
- data structure
- multi agent
- decision trees
- image processing
- data sets