Shared-Page Management for Improving the Temporal Isolation of Memory Reservations in Resource Kernels | IEEE Conference Publication | IEEE Xplore