A Cost Model for the Internal Organization of B+-Tree Nodes
No abstract available.
Related papers
- CASTLE: fast concurrent internal binary search tree using edge-based locking PPoPP 2015
- Compact Storage of Binary Trees TOPLAS 1982
- Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq POPL 2023
- Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq JFP 2025
- On Building Trees with Minimum Height JFP 1997
- Practical concurrent binary search trees via logical ordering PPoPP 2014
- A Stable Lossless Syntax Tree for Real-Time Collaborative Programming ECOOP 2026
- Diffusion Tree Restructuring for Indirect Reference Counting ISMM 2000