Redundancy Scheduling in Systems with Bi-Modal Job Service Time Distributions | IEEE Conference Publication | IEEE Xplore