Using simulated execution in verifying distributed algorithms.
Toh Ne WinMichael D. ErnstStephen J. GarlandDilsun Kirli KaynarNancy A. LynchPublished in: Int. J. Softw. Tools Technol. Transf. (2004)
Keyphrases
- learning algorithm
- recently developed
- orders of magnitude
- theoretical analysis
- data structure
- significant improvement
- computational cost
- neural network
- distributed constraint optimization
- computing environments
- peer to peer
- computer vision
- social networks
- databases
- sensor networks
- distributed systems
- cooperative
- reinforcement learning
- benchmark datasets
- decision trees
- map reduce
- distributed constraint optimization problems