Tasks in Modular Proofs of Concurrent Algorithms.

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

Published in: CoRR (2019)

Keyphrases

computational complexity
significant improvement
learning algorithm
computational cost
worst case
computationally efficient
neural network
data mining
decision trees
theoretical analysis
benchmark datasets
orders of magnitude
times faster
recently developed
optimization problems
theorem proving