Mixed Data-Parallel Scheduling for Distributed Continuous Integration | IEEE Conference Publication | IEEE Xplore