Modellering en optimalisering van cache-algoritmen