Dynamic resource management algorithm for a distributed real-time system | IEEE Conference Publication | IEEE Xplore