ID | hoenig12osr |
Type | inBook - a part of a book, which may be a chapter (or section or whatever) and/or a range of pages |
Author | Timo Hönig |
Christopher Eibel | |
Rüdiger Kapitza | |
Wolfgang Schröder-Preikschat | |
IBR Author(s) | Prof. Dr. Rüdiger Kapitza |
IBR Group(s) | DS (Prof. Kapitza) |
Editor | ACM SIGOPS |
Title | SEEP: Exploiting Symbolic Execution for Energy-Aware Programming |
Book Title | Best Papers from SOSP 2011 Workshops |
Year | 2012 |
Page(s) | 58-62 |
Series | ACM SIGOPS Operating Systems Review |
Address | New York |
DOI | 10.1145/2094091.2094106 |