Verification of randomized consensus algorithms under round-rigid adversaries.
Nathalie BertrandIgor KonnovMarijana LazicJosef WidderPublished in: Int. J. Softw. Tools Technol. Transf. (2021)
Keyphrases
- computationally efficient
- significant improvement
- computational cost
- optimization problems
- learning algorithm
- combinatorial optimization
- orders of magnitude
- benchmark datasets
- theoretical analysis
- graph theory
- database
- computationally expensive
- worst case
- multi class
- optical flow
- computational complexity
- data structure
- face recognition
- information systems
- social networks
- genetic algorithm