PEPA Based Performance Modeling for Robust Resource Allocations Amid Varying Processor Availability | IEEE Conference Publication | IEEE Xplore