Multiprocessor resource allocation for hard-real-time streaming with a dynamic job-mix | IEEE Conference Publication | IEEE Xplore