Buffer Space Optimisation with Communication Synthesis and Traffic Shaping for NoCs | IEEE Conference Publication | IEEE Xplore