A recursive technique for computing lower-bound performance of schedules | IEEE Conference Publication | IEEE Xplore