21 citations · 37 across the 9 of their papers we have counts for
9 papers
ENTRA: Whole-Systems Energy Transparency
Kerstin Eder, John P. Gallagher, Pedro Lopez-Garcia +14
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 con…
Towards Energy Consumption Verification via Static Analysis
Pedro Lopez-Garcia, Remy Haemmerle, Maximiliano Klemen +2
In this paper we leverage an existing general framework for resource usage verification and specialize it for verifying energy consumption specifications of embedded programs. Such…
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015
Francisco Corbera, Andrés Rodríguez, Rafael Asenjo +19
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. Amsterdam, January 21st. Collocated with HIPEAC 2015 Conference.
Proceedings of the Eleventh Workshop on Constraint Handling Rules
Rémy Haemmerlé, Jon Sneyers
This volume contains the papers presented at the eleventh Workshop on Constraint Handling Rules (CHR 2014), which will be held in Vienna at the occasion of the Vienna Summer of Log…
On Termination, Confluence and Consistent CHR-based Type Inference
Gregory J. Duck, Remy Haemmerle, Martin Sulzmann
We consider the application of Constraint Handling Rules (CHR) for the specification of type inference systems, such as that used by Haskell. Confluence of CHR guarantees that the…
Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)
Rémy Haemmerlé, Jose Morales
This volume contains the papers presented at the 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013), which was held in Istanbul, Turkey, on August 24 & 25…