Verification Techniques for Distributed Algorithms.

Anna Philippou George Michael

Published in: OPODIS (2006)

Keyphrases

learning algorithm
machine learning algorithms
orders of magnitude
neural network
web services
significant improvement
distributed systems
lightweight
theoretical analysis
benchmark datasets
data mining algorithms
computationally expensive
recently developed
computer networks
graph theory