ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool.
Thomas BaarEkkart KindlerPublished in: Fundam. Informaticae (1999)
Keyphrases
- computational cost
- computationally efficient
- optimization problems
- learning algorithm
- real time
- worst case
- computational complexity
- computational efficiency
- theoretical analysis
- distributed breakout
- case study
- distributed database systems
- fault tolerant
- recently developed
- times faster
- data mining algorithms
- orders of magnitude
- benchmark datasets
- database
- neural network
- genetic algorithm
- image processing
- lower bound
- data structure
- reinforcement learning