Formal online methods for voltage/frequency control in multiple clock domain microprocessors.

Qiang Wu, Philo Juang, Margaret Martonosi, Douglas W. Clark

Browse the full ASPLOS paper archive.