Marginal Performance: Formalizing and Quantifying Power Over/Under Provisioning in NoC DVFS | IEEE Journals & Magazine | IEEE Xplore