Hyeonjoong Cho Binoy Ravindran E. Douglas Jensen Synchronization for an optimal real-time scheduling algorithm on multiprocessors. 9-16 2007 conf/sies/2007 SIES http://dx.doi.org/10.1109/SIES.2007.4297311 db/conf/sies/sies2007.html#ChoRJ07