Whole-Systems Energy Transparency

Project: Research

EU Framework 7 ICT project. Part of Future and Emerging Technologies (FET) programme

Constraint specialisation in Horn clause verification
Kafle, B. & Gallagher, J. P., 1 Apr 2017, In: Science of Computer Programming. 137, p. 125-140 16 p.
Research output: Contribution to journal › Journal article › Research › peer-review
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
Kafle, B. & Gallagher, J. P., Jan 2017, In: Computer Languages, Systems and Structures. 47, Part 1, p. 2-18 17 p.
Research output: Contribution to journal › Journal article › Research › peer-review
A Source-level Energy Optimization Framework for Mobile Applications
Li, X. & Gallagher, J. P., 2016, 16th IEEE International Working Conference on Source Code Analysis and Manipulation: SCAM 2016. IEEE Press, p. 31-40 10 p. 7781794
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
A Transformational Approach to Parametric Accumulated-Cost Static Profiling
Haemmerlé, R., López García, P., Liqat, U., Klemen, M., Gallagher, J. P. & Hermenegildo, M., 2016, Functional and Logic Programming : 13th International Symposium, (FLOPS) 2016, Kochi, Japan, March 4-6, 2016. Kiselyov, O. & King, A. (eds.). Cham: Springer, p. 163-180 18 p. (Lecture Notes in Computer Science, Vol. 9613).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
File

ICT-Energy
Gallagher, J. P. (Project participant), Rosendahl, M. (Project participant) & Bohr, N. (Project participant)
01/10/2013 → 30/09/2016
Project: Research

Project Details