Fabrizio Petrini Wu-chun Feng Improved resource utilization with buffered coscheduling. 123-144 2001 16 Parallel Algorithms Appl. 2-3 db/journals/paapp/paapp16.html#PetriniF01