On Verification of Refinements of Timed Distributed Algorithms.
Joëlle CohenAnatol SlissenkoPublished in: Abstract State Machines (2000)
Keyphrases
- orders of magnitude
- data structure
- computational complexity
- theoretical analysis
- times faster
- learning algorithm
- cooperative
- optimization problems
- real time
- machine learning algorithms
- distributed systems
- distributed breakout
- memory requirements
- fault tolerant
- mobile agents
- lightweight
- significant improvement
- multi agent
- genetic algorithm