IBR Login
- Institute of Operating Systems and Computer Networks
- News
- About us
- Connected and Mobile Systems
- Distributed Systems
- Algorithms
- Microprocessor Lab
- Education
- Services
- Spin-Offs
- Research Cooperations
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 |
last changed 2021-04-28, 15:10 by System Account bib-deploy