On the optimality of minimum laxity and earliest deadline scheduling for real-time multiprocessors | IEEE Conference Publication | IEEE Xplore