Raptor: integrating checkpoints and thread migration for cluster management | IEEE Conference Publication | IEEE Xplore