Whole-Systems Energy Transparency

Projekter: Projekt › Forskning

Projektdetaljer

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, I: Science of Computer Programming. 137, s. 125-140
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
Kafle, B. & Gallagher, J. P., jan. 2017, I: Computer Languages, Systems and Structures. 47, Part 1, s. 2-18
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › 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, s. 31-40 10 s.
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 (Lecture Notes in Computer Science, Bind 9613).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang
Fil