O algoritmo que, além de realizar a substituição de páginas, também estabelece um tempo máximo que cada página pode permanecer ativa na memória, é denominado