Raptor: Integrating checkpoints and thread migration for cluster managementHazim ShafiEvan Speightet al.2003SRDS 2003