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

DOI10.1007/978-3-319-94460-9_4MaRDI QIDQ1671140zbMATH OpenOpenAlexFDO

Authors Umer Liqat, Zorana Banković, P. López-García, Manuel Hermenegildo

Publication date 6 September 2018

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

zbMATH Keywords

energy consumption analysisenergy modelingevolutionary algorithmsresource analysisstatic analysisverification

Mathematics Subject Classification ID

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

Recommendations

• A Hoare logic for energy consumption analysis
• SoftExplorer: estimating and optimizing the power and energy consumption of a C program for DSP applications
• Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
• Automatic inference of resource consumption bounds
• Energy-Driven Statistical Sampling: Detecting Software Hotspots

Cited in

(2)

• A Hoare logic for energy consumption analysis
• Energy-Driven Statistical Sampling: Detecting Software Hotspots

Describes a project that uses

Uses Software

• Ciao

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1671140)