Designing a process migration facility: the Charlotte experience | IEEE Journals & Magazine | IEEE Xplore