A Strategy for Automatic Verification of Stabilization of Distributed Algorithms.
Ritwika GhoshSayan MitraPublished in: FORTE (2015)
Keyphrases
- cooperative
- orders of magnitude
- learning algorithm
- computational cost
- distributed environment
- distributed constraint optimization
- information systems
- computational complexity
- significant improvement
- database
- times faster
- distributed systems
- distributed data
- computer networks
- computational efficiency
- theoretical analysis
- data mining techniques
- data structure
- neural network
- real time