Operating System Process and Thread Migration in Heterogeneous Platforms
The multikernel: a new OS architecture for scalable multicore systems