Cherry-MP: correctly integrating checkpointed early resource recycling in chip multiprocessors | IEEE Conference Publication | IEEE Xplore