1. 2017
  2. Udgivet

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

    I: Science of Computer Programming, Vol. 137, 01.04.2017, s. 125-140.

    Publikation: Forskning - peer reviewTidsskriftartikel

  3. Udgivet

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

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

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  4. Udgivet

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

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

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  5. Udgivet

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

    InTech Open Access Publishers, 2017.

    Publikation: Forskning - peer reviewAntologi

  6. Udgivet

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

    I: Computer Languages, Systems and Structures, Vol. 47, Nr. Part 1, 01.2017, s. 2-18.

    Publikation: Forskning - peer reviewTidsskriftartikel

  7. 2016
  8. Udgivet

    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. s. 31-40.

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  9. Udgivet

    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. red. / Oleg Kiselyov; Andy King. Cham : Springer, 2016. s. 163-180 (Lecture Notes in Computer Science, Vol. 9613).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  10. Udgivet

    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.

    I: Microprocessors and Microsystems, Vol. 47, Nr. Part B, 2016, s. 278-286.

    Publikation: Forskning - peer reviewTidsskriftartikel

  11. Udgivet

    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. red. / Takahiro Hara; Hiroshi Shigeno. Association for Computing Machinery, 2016. s. 180-189.

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  12. Udgivet

    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. red. / Marco C.J.D. van Eekelen; Ugo Dal Lago. Switzerland : Springer, 2016. s. 81-100 (Lecture Notes in Computer Science, Vol. 9964).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

Forrige 1 2 3 4 5 6 Næste