A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management.

Shrirang M. Yardi, Karthik Channakeshava, Michael S. Hsiao, Thomas L. Martin, Dong S. Ha

Browse the full ICCD paper archive.