Tutorial: Specifying, Implementing, and Verifying Algorithms for Persistent Memory.
Diego CepedaSakib ChowdhuryWojciech M. GolabPublished in: PODC (2019)
Keyphrases
- graph theory
- benchmark datasets
- orders of magnitude
- memory requirements
- theoretical analysis
- knowledge base
- efficient implementation
- computational cost
- worst case
- recently developed
- computationally efficient
- computationally expensive
- memory usage
- model checking
- particle swarm optimization
- significant improvement
- evolutionary algorithm
- computational complexity
- image processing