Visibility reasoning for concurrent snapshot algorithms.
Joakim ÖhmanAleksandar NanevskiPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- orders of magnitude
- learning algorithm
- real time
- significant improvement
- benchmark datasets
- image quality
- theoretical analysis
- image processing
- search space
- worst case
- computational efficiency
- recently developed
- combinatorial optimization
- times faster
- computationally expensive
- data mining techniques
- optimization problems
- description logics
- computational cost
- data structure
- knowledge base
- information systems