Skylines for Symbolic Energy Consumption Analysis

[1]  Martin Hofmann,et al.  Multivariate amortized resource analysis , 2011, POPL '11.

[2]  Jan Martin Jansen,et al.  The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines , 2017, IFL.

[3]  Marko C. J. D. van Eekelen,et al.  Using Dependent Types to Define Energy Augmented Semantics of Programs , 2015, FOPARA.

[4]  Martin Hofmann,et al.  A program logic for resources , 2007, Theor. Comput. Sci..

[5]  Anantha Chandrakasan,et al.  JouleTrack: a web based tool for software energy profiling , 2001, DAC '01.

[6]  Robert Atkey.  Amortised Resource Analysis with Separation Logic , 2010, ESOP.

[7]  Susanne Albers,et al.  Energy-efficient algorithms , 2010, Commun. ACM.

[8]  Dan Grossman,et al.  EnerJ: approximate data types for safe and general low-power computation , 2011, PLDI '11.

[9]  Margaret Martonosi,et al.  Wattch: a framework for architectural-level power analysis and optimizations , 2000, Proceedings of 27th International Symposium on Computer Architecture (IEEE Cat. No.RS00201).

[10]  Manuel V. Hermenegildo,et al.  Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models , 2013, LOPSTR.

[11]  Bernard van Gastel,et al.  Assessing sustainability of software - Analysing Correctness, Memory and Energy Consumption , 2016 .

[12]  Marko C. J. D. van Eekelen,et al.  Making resource analysis practical for real-time Java , 2012, JTRES '12.

[13]  Eric Saxe,et al.  Power-efficient software , 2010, Commun. ACM.

[14]  Gustavo Rau de Almeida Callou,et al.  A Formal Model for Performance and Energy Evaluation of Embedded Systems , 2011, EURASIP J. Embed. Syst..

[15]  Marko C. J. D. van Eekelen,et al.  A Hoare Logic for Energy Consumption Analysis , 2013, FOPARA.

[16]  Parthasarathy Ranganathan.  Recipe for efficiency: principles of power-aware computing , 2010, CACM.

[17]  Xianfeng Li,et al.  Estimating the Worst-Case Energy Consumption of Embedded Software , 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).

[18]  Flemming Nielson,et al.  Semantics with applications - a formal introduction , 1992, Wiley professional computing.

[19]  James C. King,et al.  Symbolic execution and program testing , 1976, CACM.

[20]  Elvira Albert,et al.  COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode , 2008, FMCO.

[21]  Michael Cohen,et al.  Energy types , 2012, OOPSLA '12.

[22]  Paulo Romero Martins Maciel,et al.  Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets , 2006, ICATPN.