C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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