Causality versus time: how to specify and verify distributed algorithms.
Vijay K. GargAlexander I. TomlinsonPublished in: SPDP (1994)
Keyphrases
- data structure
- times faster
- distributed environment
- computationally efficient
- computational complexity
- computational efficiency
- theoretical analysis
- distributed systems
- worst case
- database
- significant improvement
- cooperative
- face recognition
- learning algorithm
- recently developed
- distributed constraint optimization
- sensor networks
- benchmark datasets
- genetic algorithm
- neural network
- databases