ICT-Energy

Project: Research

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.
StatusFinished
Effective start/end date01/10/201330/09/2016

Keywords

  • ICT energy
  • Low energy computing
  • Green IT

Research Output

Constraint specialisation in Horn clause verification

Kafle, B. & Gallagher, J. P., 1 Apr 2017, In : Science of Computer Programming. 137, p. 125-140

Research output: Contribution to journalJournal articleResearchpeer-review

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

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access
File

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 proceedingBook chapterResearchpeer-review

Open Access
File

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

Research output: Contribution to journalJournal articleResearchpeer-review