Formal Methods for Dynamic Power Management.

Rajesh K. Gupta, Sandy Irani, Sandeep K. Shukla

Browse the full ICCAD paper archive.