11 research outputs found
ENTRA:Whole-systems energy transparency
Promoting energy efficiency to a first class system design goal is an
important research challenge. Although more energy-efficient hardware can be
designed, it is software that controls the hardware; for a given system the
potential for energy savings is likely to be much greater at the higher levels
of abstraction in the system stack. Thus the greatest savings are expected from
energy-aware software development, which is the vision of the EU ENTRA project.
This article presents the concept of energy transparency as a foundation for
energy-aware software development. We show how energy modelling of hardware is
combined with static analysis to allow the programmer to understand the energy
consumption of a program without executing it, thus enabling exploration of the
design space taking energy into consideration. The paper concludes by
summarising the current and future challenges identified in the ENTRA project.Comment: Revised preprint submitted to MICPRO on 27 May 2016, 23 pages, 3
figure
Probabilistic Output Analyses for Deterministic Programs:Reusing Existing Non-probabilistic Analyses
We consider reusing established non-probabilistic output analyses (either
forward or backwards) that yield over-approximations of a program's pre-image
or image relation, e.g., interval analyses. We assume a probability measure
over the program input and present two techniques (one for forward and one for
backward analyses) that both derive upper and lower probability bounds for the
output events. We demonstrate the most involved technique, namely the forward
technique, for two examples and compare their results to a cutting-edge
probabilistic output analysis.Comment: In Proceedings QAPL 2019, arXiv:2001.0616