ICT-Energy

Projekter: ProjektForskning

Projektdetaljer

Beskrivelse

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.
StatusAfsluttet
Effektiv start/slut dato01/10/201330/09/2016

Publikationer

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 tidsskriftTidsskriftartikelForskningpeer 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. (red.). InTechOpen, s. 103-127

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

Åben adgang
Fil

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. (red.). InTechOpen, 37 s.

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

Åben adgang
Fil

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 tidsskriftTidsskriftartikelForskningpeer review