Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development.
Dominique CansellDominique MéryPublished in: Rigorous Methods for Software Construction and Analysis (2009)
Keyphrases
- computational cost
- learning algorithm
- computationally efficient
- benchmark datasets
- theoretical analysis
- lightweight
- times faster
- computational efficiency
- data mining algorithms
- orders of magnitude
- machine learning algorithms
- knowledge based systems
- distributed systems
- optimization problems
- cooperative
- neural network
- software engineering
- expert systems
- computational complexity
- data structure
- image segmentation
- recently developed
- graph theory
- incremental version