TY - RPRT TI - Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks AU - Umer Liqat AU - Zorana Bankovic AU - Pedro Lopez-Garcia AU - Manuel V. Hermenegildo PY - 2017 UR - https://arxiv.org/abs/1601.02800 ID - 1601.02800 ER -