1. 2017
  2. Published

    Constraint specialisation in Horn clause verification. / Kafle, Bishoksan; Gallagher, John Patrick.

    In: Science of Computer Programming, Vol. 137, 01.04.2017, p. 125-140.

    Publication: Research - peer-reviewJournal article

  3. Published

    Energy-Aware Software Engineering. / Eder, Kerstin; Gallagher, John Patrick.

    ICT - Energy Concepts for Energy Efficiency and Sustainability. ed. / Giorgos Fagas; Luca Gammaitoni; John P. Gallagher; Douglas J. Paul. InTech Open Access Publishers, 2017. p. 103-127.

    Publication: Research - peer-reviewBook chapter

  4. Published

    Energy Challenges for ICT. / Fagas, Giorgos ; Gallagher, John Patrick; Gammaitoni, Luca; Paul, Douglas J.

    ICT - Energy Concepts for Energy Efficiency and Sustainability. ed. / Giorgos Fagas; Luca Gammaitoni; John P. Gallagher; Douglas J. Paul. InTech Open Access Publishers, 2017.

    Publication: Research - peer-reviewBook chapter

  5. Published

    ICT : Energy Concepts for Energy Efficiency and Sustainability. / Fagas, Giorgos (Editor); Gammaitoni, Luca (Editor); Gallagher, John Patrick (Editor); Paul, Douglas J. (Editor).

    InTech Open Access Publishers, 2017.

    Publication: Research - peer-reviewAnthology

  6. Published

    Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. / Kafle, Bishoksan; Gallagher, John Patrick.

    In: Computer Languages, Systems and Structures, Vol. 47, No. Part 1, 01.2017, p. 2-18.

    Publication: Research - peer-reviewJournal article

  7. 2016
  8. Published

    A Source-level Energy Optimization Framework for Mobile Applications. / Li, Xueliang; Gallagher, John Patrick.

    16th IEEE International Working Conference on Source Code Analysis and Manipulation: SCAM 2016. IEEE Press, 2016. p. 31-40.

    Publication: Research - peer-reviewArticle in proceedings

  9. Published

    A Transformational Approach to Parametric Accumulated-Cost Static Profiling. / Haemmerlé, Rémy; López García, Pedro; Liqat, Umer; Klemen, Maximiliano; Gallagher, John Patrick; Hermenegildo, Manuel.

    Functional and Logic Programming : 13th International Symposium, (FLOPS) 2016, Kochi, Japan, March 4-6, 2016. ed. / Oleg Kiselyov; Andy King. Cham : Springer, 2016. p. 163-180 (Lecture Notes in Computer Science, Vol. 9613).

    Publication: Research - peer-reviewArticle in proceedings

  10. Published

    ENTRA : Whole-systems energy transparency. / Eder, Kerstin; Gallagher, John Patrick; López-García, Pedro; Muller, Henk; Banković, Zorana; Georgiou, Kyriakos; Haemmerlé, Rémy; Hermenegildo, Manuel V.; Kafle, Bishoksan; Kerrison, Steve; Kirkeby, Maja Hanne; Klemen, Maximiliano; Li, Xueliang; Liqat, Umer; Morse, Jeremy; Rhiger, Morten; Rosendahl, Mads.

    In: Microprocessors and Microsystems, Vol. 47, No. Part B, 2016, p. 278-286.

    Publication: Research - peer-reviewJournal article

  11. Published

    Fine-Grained Energy Modeling for the Source Code of a Mobile Application. / Li, Xueliang; Gallagher, John Patrick.

    Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. ed. / Takahiro Hara; Hiroshi Shigeno. Association for Computing Machinery, 2016. p. 180-189.

    Publication: Research - peer-reviewArticle in proceedings

  12. Published

    Inferring Parametric Energy Consumption Functions at Different Software Levels : ISA vs. LLVM IR. / Liqat, Umer; Georgiou, Kyriakos; Kerrison, Steve; López-García, Pedro; Gallagher, John Patrick; Hermenegildo, Manuel V.; Eder, Kerstin.

    Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015. ed. / Marco C.J.D. van Eekelen; Ugo Dal Lago. Switzerland : Springer, 2016. p. 81-100 (Lecture Notes in Computer Science, Vol. 9964).

    Publication: Research - peer-reviewArticle in proceedings

Previous 1 2 3 4 5 6 Next