Scalably verifiable dynamic power management.

Opeoluwa Matthews, Meng Zhang, Daniel J. Sorin

Browse the full HPCA paper archive.