Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks

DOI10.1007/978-3-319-94460-9_4OpenAlexW2963563123MaRDI QIDQ1671140

Pedro Lopez-Garcia, Umer Liqat, Manuel V. Hermenegildo, Zorana Banković

Publication date: 6 September 2018

Full work available at URL: https://arxiv.org/abs/1601.02800

zbMATH Keywords

verificationstatic analysisevolutionary algorithmsresource analysisenergy modelingenergy consumption analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Ciao

This page was built for publication: Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks