SEEP: Exploiting Symbolic Execution for Energy-Aware Programming

Hönig T, Eibel C, Kapitza R, Schröder-Preikschat W (2012)

Publication Type: Book chapter / Article in edited volumes

Publication year: 2012

Publisher: Association for Computing Machinery (ACM)

Edited Volumes: Best Papers from SOSP 2011 Workshops

Series: ACM SIGOPS Operating Systems Review

City/Town: New York

Book Volume: 45

Pages Range: 58-62

Journal Issue: 3

URI: http://www4.cs.fau.de/Publications/2012/hoenig_12_osr.pdf

DOI: 10.1145/2094091.2094106

Authors with CRIS profile

Timo Hönig Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Christopher Eibel Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Rüdiger Kapitza Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Wolfgang Schröder-Preikschat Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

How to cite

APA:

Hönig, T., Eibel, C., Kapitza, R., & Schröder-Preikschat, W. (2012). SEEP: Exploiting Symbolic Execution for Energy-Aware Programming. In Best Papers from SOSP 2011 Workshops. (pp. 58-62). New York: Association for Computing Machinery (ACM).

MLA:

Hönig, Timo, et al. "SEEP: Exploiting Symbolic Execution for Energy-Aware Programming." Best Papers from SOSP 2011 Workshops. New York: Association for Computing Machinery (ACM), 2012. 58-62.

BibTeX: Download