GPUManager
Normally users have to coordinate use of multiple Nvidia GPUs on a single platform to ensure that they are not using the same GPU as someone else. GPUManager is a tool that automates this type of coordination. That is, GPUManager users request a GPU, and it will then find and allocate a GPU for them for which they will have unique access.
Coletti, Mark A.↗