Operating system level support for resource sharing across multiple domains | IEEE Conference Publication | IEEE Xplore