Verifying Concurrent Memory Reclamation Algorithms with Grace.
Alexey GotsmanNoam RinetzkyHongseok YangPublished in: ESOP (2013)
Keyphrases
- memory usage
- times faster
- genetic algorithm
- computer vision
- computational complexity
- orders of magnitude
- memory footprint
- limited memory
- graph theory
- memory requirements
- recently developed
- computationally expensive
- theoretical analysis
- computational cost
- significant improvement
- data structure
- worst case
- lower bound
- decision trees
- learning algorithm
- real time