G

Georgiou, Kyriakos, Kerrison, Steve, Zbigniew, Chamski, and Eder, Kerstin (2017) Energy transparency for deeply embedded programs. ACM Transactions on Architecture and Code Optimization, 14 (1). 8.

Grech, Neville, Georgiou, Kyriakos, Pallister, James, Kerrison, Steve, Morse, Jeremy, and Eder, Kerstin (2015) Static analysis of energy consumption for LLVM IR programs. In: SCOPES '15: Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems. pp. 12-21. From: SCOPES '15: 18th International Workshop on Software and Compilers for Embedded Systems, 1-3 June 2015, Sankt Goar, Germany.

K

Kerrison, Steve, Buschoff, Markus, Nunez-Yanez, Jose, and Eder, Kerstin (2017) Measuring energy. In: Fagas, Giorgos, Gammaitoni, Luca, Gallagher, John P., and Douglas, Paul, (eds.) ICT - Energy Concepts for Energy Efficiency and Sustainability. IntechOpen, London, UK, pp. 59-82.

L

Liu, Yezhou, Nicolescu, Radu, Sun, Jing, and Henderson, Alec (2021) A sublinear Sudoku solution in cP Systems and its formal verification. Computer Science Journal of Moldova, 29 (1 (85)). pp. 3-28.

Liqat, Umer, Kerrison, Steve, Serrano, Alejandro, Georgiou, Kyriakos, Lopez-Garcia, Pedro, Grech, Nevill, Hermenegildo, Manuel V., and Eder, Kerstin (2014) Energy Consumption Analysis of Programs based on XMOS ISA-Level Models. In: Lecture Notes in Computer Science (8901) pp. 72-90. From: LOPSTR 2013: 23rd International Symposium: Logic-Based Program Synthesis and Transformation, 18-19 September 2013, Madrid, Spain.

P

Pallister, James, Kerrison, Steve, Morse, Jeremy, and Eder, Kerstin (2017) Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis. In: Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems. pp. 51-59. From: SCOPES '17: 20th International Workshop on Software and Compilers for Embedded Systems, 12-13 June 2017, Sankt Goar, Germany.