Real-time scheduling co-processor in hardware for single and multiprocessor systems | IEEE Conference Publication | IEEE Xplore