PushBox: Making Use of Every Bit of Time to Accelerate Completion of Data-Parallel Jobs | IEEE Journals & Magazine | IEEE Xplore