Operating systems support for programmable cluster-based Internet routers | IEEE Conference Publication | IEEE Xplore