Using Simulated Execution in Verifying Distributed Algorithms.
Toh Ne WinMichael D. ErnstStephen J. GarlandDilsun Kirli KaynarNancy A. LynchPublished in: VMCAI (2003)
Keyphrases
- learning algorithm
- computational complexity
- orders of magnitude
- theoretical analysis
- times faster
- computational efficiency
- optimization problems
- machine learning algorithms
- concurrent execution
- database
- test bed
- recently developed
- worst case
- cooperative
- reinforcement learning
- bayesian networks
- decision trees
- data sets