21 citations · 45 across the 5 of their papers we have counts for
3 papers · 1 filter
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…
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
Umer Liqat, Kyriakos Georgiou, Steve Kerrison +4
The static estimation of the energy consumed by program executions is an important challenge, which has applications in program optimization and verification, and is instrumental i…
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.