SEEP: Exploiting Symbolic Execution for Energy-Aware Programming
| 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 |
