Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm.
Yanhong A. LiuSaksham ChandScott D. StollerPublished in: CoRR (2017)
Keyphrases
- high level
- dynamic programming
- detection algorithm
- provably correct
- preprocessing
- optimal solution
- learning algorithm
- objective function
- multi agent
- computational complexity
- matching algorithm
- k means
- cost function
- np hard
- low level
- distributed systems
- higher level
- search space
- simulated annealing
- database
- lower bound
- decision making
- genetic algorithm