Modelação e optimização de algoritmos de cache