A classification for the implementations of heterogeneous strong migration of computations | IEEE Conference Publication | IEEE Xplore