TU BRAUNSCHWEIG
| Carl-Friedrich-Gauß-Fakultät | Informatik
Informatikzentrum

SEEP: Exploiting Symbolic Execution for Energy-Aware Programming

ID hoenig11hotpower
Typ inProceedings - Artikel in einem Konferenzband
Autor Timo Hönig
Christopher Eibel
Rüdiger Kapitza
Wolfgang Schröder-Preikschat
IBR Autor(en) Prof. Dr. Rüdiger Kapitza
IBR Gruppe(n) DS (Prof. Kapitza)
Editor ACM SIGOPS
Titel SEEP: Exploiting Symbolic Execution for Energy-Aware Programming
Buchtitel Proceedings of the 4th Workshop on Power-Aware Computing and Systems (HotPower 2011)
Jahr 2011
Ort in conjunction with the 23rd ACM Symposium on Operating Systems Principles (SOSP), Cascais
URL http://www4.informatik.uni-erlangen.de/Publications/2011/hoenig_11_hotpower.pdf
DOI 10.1145/2039252.2039256

aktualisiert am 14.07.2016, 16:33 von Webmaster
printemailtop