Declarative Linearizability Proofs for Descriptor-Based Concurrent Helping Algorithms.

Jesús Domínguez Aleksandar Nanevski

Published in: CoRR (2023)

Keyphrases

optimization problems
learning algorithm
computational cost
recently developed
data structure
significant improvement
theoretical analysis
machine learning algorithms
domain independent
data sets
data mining
image processing
decision trees
reinforcement learning
object recognition
worst case