Projects per year
Search results
-
Finished
Energy Analysis of Transformed Programs
Kirkeby, M. H. (Project participant) & Fernandes, J. P. (Project participant)
29/04/2022 → 16/05/2022
Project: Research
-
Energy and Performance Trade-offs in Hardware and Software Implementations
Kirkeby, M. H. (Project manager), Rosendahl, M. (Project participant), Krabben, T. (Project participant) & Schoeberl, M. (Project participant)
01/02/2022 → 31/01/2023
Project: Research
-
Energicertificeret softwareudvikling og drift
Kirkeby, M. H. (Project participant), Rosendahl, M. (Project participant), Rhiger, M. (Project participant) & Lu, H. (Project participant)
07/09/2021 → 31/05/2022
Project: Research
-
CERCIRAS: COST Action: CA19135 - Connecting Education and Research Communities for an Innovative Resource Aware Society (CERCIRAS)
Kirkeby, M. H. (Project participant)
29/09/2020 → 28/09/2024
Project: Research
-
Energimærkning af Software og Software Installationer
Gallagher, J. P. (Project participant), Kirkeby, M. H. (Project participant), Rosendahl, M. (Project participant) & Rhiger, M. (Project participant)
01/02/2020 → 30/09/2020
Project: Research
-
Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules
Christiansen, H. (Anden) & Kirkeby, M. H. (Project participant)
Det Frie Forskningsråd | Natur og Univers
01/11/2015 → 31/12/2018
Project: Research