Dependent and Heterogeneous Process Migration Based on Checkpoints | IEEE Conference Publication | IEEE Xplore