Scalably verifiable dynamic power management

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]

Authors

Opeoluwa Matthews

This author has not been identified. Look up 'Opeoluwa Matthews' in Google

Meng Zhang

This author has not been identified. Look up 'Meng Zhang' in Google

Daniel J. Sorin

This author has not been identified. Look up 'Daniel J. Sorin' in Google