Tasks in Modular Proofs of Concurrent Algorithms.

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

Published in: SSS (2019)

Keyphrases

learning algorithm
recently developed
data structure
computationally efficient
times faster
database
machine learning
image processing
computational cost
multi class
orders of magnitude