Formal Online Methods for Voltage/Frequency Control in Multiple Clock Domain Microprocessors (2004)

by Q Wu, P Juang, M Martonosi, D Clark
Venue:In Proceedings of the 11th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’04