Checkpointing in CosMiC: a user-level process migration environment | IEEE Conference Publication | IEEE Xplore