Towards Efficient Cache Allocation for High-Frequency Checkpointing | IEEE Conference Publication | IEEE Xplore