Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks
- Liqat, U.
- Banković, Z.
- Lopez-Garcia, P.
- Hermenegildo, M.V.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319944593
Any de publicació: 2018
Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers
Volum: 10855 LNCS
Pàgines: 54-72
Tipus: Aportació congrés