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
Année de publication: 2018
Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers
Volumen: 10855 LNCS
Pages: 54-72
Type: Communication dans un congrès