1. 2017
  2. E-pub ahead of print

    Optimised determinisation and completion of finite tree automata. / Gallagher, John Patrick; Ajspur, Mai; Kafle, Bishoksan.

    I: Journal of Logic and Algebraic Programming, Vol. 95, 01.2018, s. 1-16.

    Publikation: Forskning - peer reviewTidsskriftartikel

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 2016
  9. 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

  10. 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

  11. 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

  12. 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

Forrige 1 2 3 4 5 6 Næste