Real-time partitioned scheduling on multi-core systems with local and global memories | IEEE Conference Publication | IEEE Xplore