Certification of Distributed Algorithms Solving Problems with Optimal Substructure.

Kim Völlinger Wolfgang Reisig

Published in: SEFM (2015)

Keyphrases

solving problems
worst case
cooperative
computationally efficient
computational complexity
distributed systems
data mining
dynamic programming
computational cost
simulated annealing
optimization problems
peer to peer
machine learning algorithms
orders of magnitude
exhaustive search
distributed computation