Online scheduling for real-time multitasking on reconfigurable hardware devices. - Guy Wassi-Leupi (2011)