Resource Sharing under Multiprocessor Semi-partitioned Scheduling | IEEE Conference Publication | IEEE Xplore