VGRIS: Virtualized GPU Resource Isolation and Scheduling in Cloud Gaming
Xen and the art of virtualization