Mathematical Models and Formal Approaches for Caching Strategies Optimisation
arXiv:math/0503621
Abstract
An optimization of caching strategies is proposed as a formal approach allowing us a more efficient use of two-level computer memory. This approach is based on a set of mathematical models and a set of theorems, permitting analytical determination of optimal caching strategy operating characteristics, thus minimising time loss caused by optimal strategy search.
6 pages, 1 figure, 9 references