Qiang Wu, Philo Juang, Margaret Martonosi, Douglas W. Clark
Formal online methods for voltage/frequency control in multiple clock domain microprocessors
ASPLOS, 2004.
@inproceedings{ASPLOS-2004-WuJMC,
author = "Qiang Wu and Philo Juang and Margaret Martonosi and Douglas W. Clark",
booktitle = "{Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems}",
doi = "10.1145/1024393.1024423",
isbn = "1-58113-804-0",
pages = "248--259",
publisher = "{ACM}",
title = "{Formal online methods for voltage/frequency control in multiple clock domain microprocessors}",
year = 2004,
}