Opeoluwa Matthews, Meng Zhang, Daniel J. Sorin. Scalably verifiable dynamic power management. In 20th IEEE International Symposium on High Performance Computer Architecture, HPCA 2014, Orlando, FL, USA, February 15-19, 2014. pages 579-590, IEEE, 2014. [doi]
Abstract is missing.