Semi-Partitioned Hard-Real-Time Scheduling under Locked Cache Migration in Multicore Systems | IEEE Conference Publication | IEEE Xplore