Christopher J. Hughes Sarita V. Adve A Formal Approach to Frequent Energy Adaptations for Multimedia Applications. 138-149 2004 conf/isca/2004 ISCA https://doi.org/10.1109/ISCA.2004.1310770 https://doi.ieeecomputersociety.org/10.1109/ISCA.2004.1310770 http://dl.acm.org/citation.cfm?id=1006713 db/conf/isca/isca2004.html#HughesA04