A batch scheduler with high level components | IEEE Conference Publication | IEEE Xplore