Completion Time Minimization in Multi-User Task Scheduling with Heterogeneous Processors and Budget Constraints | IEEE Conference Publication | IEEE Xplore