A proportional share resource allocation algorithm for real-time, time-shared systems | IEEE Conference Publication | IEEE Xplore