Enabling OpenCL support for GPGPU in Kernel-based Virtual Machine. - Tsan-Rong Tien; Yi-Ping You (Softw. Pract. Exp., 2014)