DMCA

Energy-Aware Programming Utilizing the SEEP Framework and Symbolic Execution

by Timo Hönig , Christopher Eibel , Rüdiger Kapitza , Wolfgang Schröder-preikschat