Design and implementation of a hardware checkpoint/restart core | IEEE Conference Publication | IEEE Xplore