Real-time gang schedulings with workload models for parallel computers | IEEE Conference Publication | IEEE Xplore