GSched: An Efficient Scheduler for Hybrid CPU-GPU HPC Systems. - Mariano Raboso Mateos; Juan Antonio Cotobal Robles (DCAI, 2013)