KTK: kernel support for configurable objects and invocations | IEEE Conference Publication | IEEE Xplore