Efficient task scheduling with duplication for bounded number of processors | IEEE Conference Publication | IEEE Xplore