Clairvoyant non-preemptive EDF scheduling | IEEE Conference Publication | IEEE Xplore