An Automata-Theoretic Approach to the Verification of Distributed Algorithms.
C. AiswaryaBenedikt BolligPaul GastinPublished in: CoRR (2015)
Keyphrases
- distributed systems
- cooperative
- learning algorithm
- data structure
- computational cost
- combinatorial optimization
- computational complexity
- lower bound
- recently developed
- significant improvement
- neural network
- benchmark datasets
- fault tolerant
- database systems
- distributed environment
- times faster
- data mining algorithms
- machine learning algorithms
- computationally efficient
- data mining techniques
- peer to peer
- evolutionary algorithm
- search space
- computer vision