Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables.

Saksham Chand Yanhong A. Liu

Published in: CoRR (2018)

Keyphrases

learning algorithm
computational complexity
significant improvement
computational cost
distributed systems
computationally efficient
theoretical analysis
orders of magnitude
distributed computation
data sets
neural network
social networks
search algorithm
data mining algorithms
computational efficiency