Tasks in modular proofs of concurrent algorithms.

Armando Castañeda Aurélie Hurault Philippe Quéinnec Matthieu Roy

Published in: Inf. Comput. (2023)

Keyphrases

computational complexity
learning algorithm
significant improvement
theoretical analysis
times faster
recently developed
real world
computationally efficient
orders of magnitude
website
clustering algorithm
data structure
optimization problems
data mining techniques
data mining tasks