Verification by Construction of Distributed Algorithms.

Dominique Méry

Published in: ICTAC (2019)

Keyphrases

learning algorithm
orders of magnitude
times faster
computationally efficient
theoretical analysis
computational complexity
significant improvement
computational cost
real time
search engine
social networks
cooperative
distributed systems
computational efficiency
recently developed