Mathematical Models and Formal Approaches for Caching Strategies Optimisation

From MaRDI portal



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.












This page was built for publication: Mathematical Models and Formal Approaches for Caching Strategies Optimisation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6475301)