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]
@inproceedings{MatthewsZS14, title = {Scalably verifiable dynamic power management}, author = {Opeoluwa Matthews and Meng Zhang and Daniel J. Sorin}, year = {2014}, doi = {10.1109/HPCA.2014.6835967}, url = {http://dx.doi.org/10.1109/HPCA.2014.6835967}, researchr = {https://researchr.org/publication/MatthewsZS14}, cites = {0}, citedby = {0}, pages = {579-590}, booktitle = {20th IEEE International Symposium on High Performance Computer Architecture, HPCA 2014, Orlando, FL, USA, February 15-19, 2014}, publisher = {IEEE}, }