Synchronization for an optimal real-time scheduling algorithm on multiprocessors | IEEE Conference Publication | IEEE Xplore