Energy Transparency for Deeply Embedded Programs

Kyriakos Georgiou, Steven Kerrison, Zbigniew Chamski, Kerstin Eder

Research output: Contribution to journalArticle (Academic Journal)peer-review

21 Citations (Scopus)
410 Downloads (Pure)
Filter
Conference Contribution (Conference Proceeding)

Search results

  • 2016

    Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR

    Liqat, U., Georgiou, K., Kerrison, S., Lopez-Garcia, P., Gallagher, J. P., Hermenegildo, M. V. & Eder, K., 2016, Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers. Springer International Publishing AG, p. 81-100 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9964).

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    Open Access
    File
    18 Citations (Scopus)
    307 Downloads (Pure)
  • 2015

    Static analysis of energy consumption for LLVM IR programs

    Grech, N., Georgiou, K., Pallister, J., Kerrison, S., Morse, J. C. M. & Eder, K. I., 1 Jun 2015, Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems (SCOPES '15). Association for Computing Machinery (ACM), p. 12-21 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    Open Access
    File
    38 Citations (Scopus)
    311 Downloads (Pure)
  • 2014

    Energy consumption analysis of programs based on XMOS ISA-level models

    Liqat, U., Kerrison, S., Serrano, A., Georgiou, K., Lopez-Garcia, P., Grech, N., Hermenegildo, M. V. & Eder, K., 2014, Logic-Based Program Synthesis and Transformation. Springer Verlag, Vol. 8901. p. 72-90 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8901).

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    36 Citations (Scopus)