A probabilistic approach to distributed batch scheduling | IEEE Conference Publication | IEEE Xplore