Boosting Guaranteed Performance in Wormhole NoCs with Probabilistic Timing Analysis | IEEE Conference Publication | IEEE Xplore