A Buffer-Sizing Algorithm for Network-on-Chips with Multiple Voltage-Frequency Islands. (28th February 2012)