Virtualization and Migration with GPGPUs