The development of a scheduling system GPUSched for graphics processing units. - Ayman Tarakji; Maximillian Marx; Stefan Lankes (HPCS, 2013)