Real-Time GPU Resource Management with Loadable Kernel Modules
Gdev: first-class GPU resource management in the operating system