MxGPU: A Case Study on OS-Controlled GPGPU Multiplexing. | AMiner