DMCA

SEEP: Exploiting symbolic execution for energy-aware programming (2011)

by Timo Hönig , Christopher Eibel , Rüdiger Kapitza , Wolfgang Schröder-preikschat
Venue:In Proc. of the 4th Workshop on Power-Aware Computing and Systems
Citations:12 - 4 self