Yunsi Fei Srivaths Ravi Anand Raghunathan Niraj K. Jha Energy-optimizing source code transformations for operating system-driven embedded software. 2007 7 ACM Trans. Embedded Comput. Syst. 1 http://doi.acm.org/10.1145/1324969.1324971 db/journals/tecs/tecs7.html#FeiRRJ07