On Certifying Distributed Algorithms: Problem of Local Correctness.
Kim VöllingerPublished in: FORTE (2019)
Keyphrases
- theoretical analysis
- orders of magnitude
- significant improvement
- multi agent
- cooperative
- optimization problems
- computationally efficient
- computationally expensive
- learning algorithm
- map reduce
- recently developed
- distributed environment
- times faster
- mobile agents
- machine learning algorithms
- distributed systems
- computational cost
- image processing