Project Details
Description
EU Framework 7 ICT project. Part of Future and Emerging Technologies (FET) programme
| Acronym | ENTRA |
|---|---|
| Status | Finished |
| Effective start/end date | 01/10/2012 → 30/09/2015 |
Collaborative partners
- Roskilde University (lead)
- XMOS Ltd (Project partner)
- University of Bristol (Project partner)
- IMDEA Software Institute (Project partner)
Keywords
- Program analysis, energy transparency, optimisation
-
Constraint specialisation in Horn clause verification
Kafle, B. & Gallagher, J. P., 1 Apr 2017, In: Science of Computer Programming. 137, p. 125-140 16 p.Research output: Contribution to journal › Journal article › Research › peer-review
9 Link opens in a new tab Citations (Scopus) -
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
Kafle, B. & Gallagher, J. P., Jan 2017, In: Computer Languages, Systems and Structures. 47, Part 1, p. 2-18 17 p.Research output: Contribution to journal › Journal article › Research › peer-review
11 Link opens in a new tab Citations (Scopus) -
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, p. 31-40 10 p. 7781794Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
13 Link opens in a new tab Citations (Scopus) -
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. (eds.). Cham: Springer, p. 163-180 18 p. (Lecture Notes in Computer Science, Vol. 9613).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile7 Link opens in a new tab Citations (Scopus)323 Downloads (Pure)
Projects
- 1 Finished
-
ICT-Energy
Gallagher, J. P. (Project participant), Rosendahl, M. (Project participant) & Bohr, N. (Project participant)
01/10/2013 → 30/09/2016
Project: Research