Characterization and modeling of run-time techniques for leakage power reduction | IEEE Journals & Magazine | IEEE Xplore