Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools.
Damián BarsottiLeonor Prensa NietoAlwen Fernanto TiuPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- benchmark datasets
- times faster
- orders of magnitude
- software tools
- computational cost
- machine learning
- convergence rate
- computational efficiency
- data mining algorithms
- significant improvement
- computational complexity
- database
- object oriented
- software engineering
- high speed
- simulated annealing
- data structure
- database systems
- image processing
- genetic algorithm