Cache allocation for fixed-priority real-time scheduling on multi-core platforms | IEEE Conference Publication | IEEE Xplore