Verification of Randomized Distributed Algorithms.

Published in: European Educational Forum: School on Formal Methods and Performance Analysis (2000)

Keyphrases

learning algorithm
data structure
theoretical analysis
computationally expensive
computationally efficient
optimization problems
computational cost
cooperative
real time
orders of magnitude
model checking
computer vision
recently developed
randomized algorithms
mobile agents
times faster
distributed environment