Guaranteed service virtual channel allocation in NoCs for run-time task scheduling | IEEE Conference Publication | IEEE Xplore