Wei Jiang Zhiru Zhang Miodrag Potkonjak Jason Cong Scheduling with integer time budgeting for low-power optimization. 22-27 2008 ASP-DAC http://dx.doi.org/10.1109/ASPDAC.2008.4483947 conf/aspdac/2008 db/conf/aspdac/aspdac2008.html#JiangZPC08