Whole-Systems Energy Transparency

Publikationer

Publikationer pr. år 2015 2016 2017

• 6 Konferencebidrag i proceedings
• 4 Tidsskriftartikel
• 2 Konferenceartikel

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2016

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

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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. (red.). Cham: Springer, s. 163-180 18 s. (Lecture Notes in Computer Science, Bind 9613).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Fine-Grained Energy Modeling for the Source Code of a Mobile Application

  Li, X. & Gallagher, J. P., 2016, Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. Hara, T. & Shigeno, H. (red.). Association for Computing Machinery, s. 180-189 10 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

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

  Liqat, U., Georgiou, K., Kerrison, S., López-García, P., Gallagher, J. P., Hermenegildo, M. V. & Eder, K., 2016, Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015. van Eekelen, M. C. J. D. & Dal Lago, U. (red.). Switzerland: Springer, s. 81-100 20 s. (Lecture Notes in Computer Science, Bind 9964).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

• Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata

  Kafle, B., Gallagher, J. P. & Morales, J. F., 2016, Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Chaudhuri, S. & Farzan, A. (red.). Springer, Bind Part 1. s. 261-268 8 s. (Lecture Notes in Computer Science; Nr. 9779).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
• 2015

  Decomposition by tree dimension in Horn clause verification

  Kafle, B., Gallagher, J. P. & Ganty, P., 7 dec. 2015, Proceedings of the Third International Workshop on Verification and Program Transformation. Lisitsa, A., Nemytykh, A. P. & Pettorossi, A. (red.). London: EPTCS, s. 1-14 14 s. (Electronic Proceedings in Theoretical Computer Science, Bind 199).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil