Analytical cache models with applications to cache partitioning