Distributed Resource Kernels: OS Support for End-To-End Resource Isolation | IEEE Conference Publication | IEEE Xplore