!!Research output per year
!!Research output per year
Personlig profil
Emneord
- Datalogi, IT
Samarbejder og forskningsfelter
Seneste eksterne samarbejder på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
-
Static Analysis for Hardware Design
Rosendahl, M. & Kirkeby, M. H., 2026, Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice: Essays Dedicated to Alan Mycroft on the Occasion of His Retirement. Springer, s. 151-169 19 s. (Lecture Notes in Computer Science, Bind 15500).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review
-
Energy-efficiency of software and hardware algorithms
Kirkeby, M. H., Krabben, T., Mikkelsen, M. B., Rosendahl, M., Larsen, M., Sundman, M., Petersen, T. & Schoeberl, M., apr. 2025, I: Computer Science and Information Systems. 22, 2, s. 649-671 23 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil63 Downloads (Pure) -
Static Communication Analysis for Hardware Design
Rosendahl, M. & Kirkeby, M. H., 27 maj 2025, Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software : Hamilton, Canada, 4th May 2025. Derakhshan, F. & Hoffmann, J. (red.). EPTCS, s. 34-43 10 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 420).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil34 Downloads (Pure) -
Language Support for Implementing Algorithms on Low Level Hardware Components
Rosendahl, M., 2023, s. vii. 1 s.Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › peer review
-
ENTRA: Whole-systems energy transparency
Eder, K., Gallagher, J. P., López-García, P., Muller, H., Banković, Z., Georgiou, K., Haemmerlé, R., Hermenegildo, M. V., Kafle, B., Kerrison, S., Kirkeby, M. H., Klemen, M., Li, X., Liqat, U., Morse, J., Rhiger, M. & Rosendahl, M., 1 nov. 2016, I: Microprocessors and Microsystems. 47, Part B, s. 278-286 9 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil17 Link åbnes på en ny fane Citationer (Scopus)333 Downloads (Pure)
Projekter
- 8 Afsluttet
-
Energy and Performance Trade-offs in Hardware and Software Implementations
Kirkeby, M. H. (Projektleder), Rosendahl, M. (Projektdeltager), Krabben, T. (Projektdeltager) & Schoeberl, M. (Projektdeltager)
Digital Research Centre Denmark – DIREC
01/02/2022 → 31/01/2023
Projekter: Projekt › Forskning
-
Energicertificeret softwareudvikling og drift
Kirkeby, M. H. (Projektdeltager), Rosendahl, M. (Projektdeltager), Rhiger, M. (Projektdeltager) & Lu, H. (Projektdeltager)
07/09/2021 → 31/05/2022
Projekter: Projekt › Forskning
-
Energimærkning af Software og Software Installationer
Gallagher, J. P. (Projektdeltager), Kirkeby, M. H. (Projektdeltager), Rosendahl, M. (Projektdeltager) & Rhiger, M. (Projektdeltager)
01/02/2020 → 30/09/2020
Projekter: Projekt › Forskning
-
ICT-Energy
Gallagher, J. P. (Projektdeltager), Rosendahl, M. (Projektdeltager) & Bohr, N. (Projektdeltager)
01/10/2013 → 30/09/2016
Projekter: Projekt › Forskning
-
Situated Design Methods
Simonsen, J. (Projektleder), Svabo, C. (Projektleder), Strandvad, S. M. (Projektleder), Samson, K. (Projektleder), Hertzum, M. (Projektleder), Hansen, O. E. (Projektleder), Søndergård, B. (Projektdeltager), Kristiansen, E. (Projektdeltager), Christrup, H. (Projektdeltager), Pries-Heje, J. (Projektdeltager), Nielsen, J. L. (Projektdeltager), Bødker, K. (Projektdeltager), Pfeiffer Pedersen, L. (Projektdeltager), Frølunde, L. (Projektdeltager), Rosendahl, M. (Projektdeltager), Neisig, M. (Projektdeltager), Frandsen, M. S. (Projektdeltager), Juul, N. C. (Projektdeltager), Jørgensen, N. (Projektdeltager), Lybæk, R. (Projektdeltager), Groth, S. K. (Projektdeltager), Christensen, T. B. (Projektdeltager), Andreasen, T. (Projektdeltager), Kjær, T. (Projektdeltager), Kensing, F. (Projektdeltager), Venable, J. (Projektdeltager), Birch Andreasen, L. (Projektdeltager), Baskerville, R. (Projektdeltager) & Gudiksen, S. (Projektdeltager)
01/01/2013 → 01/10/2014
Projekter: Projekt › Forskning
Aktiviteter
-
Static Analysis for Hardware Design
Rosendahl, M. (Oplægsholder)
1 dec. 2023Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Language Support for Implementing Algorithms on Low Level Hardware Components
Rosendahl, M. (Oplægsholder)
22 apr. 2023Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Semantics Based Cost Analysis
Rosendahl, M. (Foredragsholder)
19 okt. 2012Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
DanSAS 2012
Rosendahl, M. (Deltager)
24 aug. 2012Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
-
4th Workshop on Reversible Computation
Rosendahl, M. (Deltager)
2 jul. 2012 → 3 jul. 2012Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
Presse/medier
-
Kan Pontoppidans Per blive lykkelig i udlandet?
Rosendahl, M. & Schou, S.
15/08/2012
1 element af Mediedækning
Presse/medie