Paper Notes: [FAST'03] ARC: A Self-Tuning, Low Overhead Replacement Cache
This article summarizes how the ARC cache replacement algorithm adaptively balances recency and frequency, and explains its advantages over…
Tags
Algorithms
Posts gathered under this term.
- Entries
- 4
Hash Table Summary and Discussion of Advanced Topics
This article summarizes common issues in hash tables, such as collisions and resizing, and discusses advanced topics such as perfect hashin…
Every Programmer Should Know Some Formal Proof
Using lower_bound as an example, this article explains how to derive and verify a binary search implementation with safety and liveness ana…
Tail Recursion, CPS, and a General Method for Converting Recursion to Loops
This article introduces what tail recursion is, what CPS is, and how to apply the first two concepts to convert recursion into loops.