Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection | IEEE Conference Publication | IEEE Xplore