Porting the Pip Proto-Kernel's Model to Multi-core Environments | IEEE Conference Publication | IEEE Xplore