Synthesis of Distributed Algorithms with Parameterized Threshold Guards.
Marijana LazicIgor KonnovJosef WidderRoderick BloemPublished in: OPODIS (2017)
Keyphrases
- orders of magnitude
- data structure
- learning algorithm
- recently developed
- computationally expensive
- theoretical analysis
- lightweight
- computational cost
- significant improvement
- worst case
- computational complexity
- cooperative
- machine learning algorithms
- image processing
- computational efficiency
- computer vision
- real time
- fault tolerant
- distributed computation
- program synthesis