Task partitioning utilizing available time on multiprocessor systems for a given schedule | IEEE Conference Publication | IEEE Xplore