Project Details
Description
The goal of the EU Framework 7 ICT-Energy project is to create a coordination activity among consortia involved in the ICT-Energy field with specific reference to bringing together the existing “Toward Zero-Power ICT” community organized within the ZEROPOWER project and the novel “MINECC” (Minimising energy consumption of computing to the limit) community recently funded under the FET Proactive Call 8 (FP7-ICT-2011-8) Objective 9.8. The coordination activity is aimed at assessing the impact of the research efforts developed in the groups involved in the different consortia and proposing measures to increase the visibility of ICT-Energy related initiatives to the scientific community, targeted industries and to the public at large through exchange of information, dedicated networking events and media campaigns.
| Status | Finished |
|---|---|
| Effective start/end date | 01/10/2013 → 30/09/2016 |
Collaborative partners
- Roskilde University (lead)
- University of Heidelberg (Project partner)
- University of Perugia (Project partner)
- Swiss Federal Institute of Technology Lausanne (Project partner)
- University of Glasgow (Project partner)
- Aalborg University (Project partner)
- University of Bristol (Project partner)
- Hitachi Europe Limited (Project partner)
- University College Cork (Project partner)
- Barcelona Supercomputing Center (Project partner)
Keywords
- ICT energy
- Low energy computing
- Green IT
-
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) -
Energy-Aware Software Engineering
Eder, K. & Gallagher, J. P., 22 Mar 2017, ICT - Energy Concepts for Energy Efficiency and Sustainability. Fagas, G., Gammaitoni, L., Gallagher, J. P. & Paul, D. J. (eds.). InTechOpen, p. 103-127Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Open AccessFile752 Downloads (Pure) -
Energy Challenges for ICT
Fagas, G., Gallagher, J. P., Gammaitoni, L. & Paul, D. J., 22 Mar 2017, ICT - Energy Concepts for Energy Efficiency and Sustainability. Fagas, G., Gammaitoni, L., Gallagher, J. P. & Paul, D. J. (eds.). InTechOpen, 37 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Open AccessFile480 Downloads (Pure) -
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)
Projects
- 1 Finished
-
ENTRA: Whole-Systems Energy Transparency
Gallagher, J. P. (Project participant), Rosendahl, M. (Project participant), Rhiger, M. (Project participant), Strand, D. L. (Project manager) & Bohr, N. (Project participant)
01/10/2012 → 30/09/2015
Project: Research