"Proactive and adaptive energy-aware programming with mixed typechecking."

Anthony Canino, Yu David Liu (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics