21 citations · 30 across the 6 of their papers we have counts for
6 papers
Static Communication Analysis for Hardware Design
Mads Rosendahl, Maja H. Kirkeby
Hardware acceleration of algorithms is an effective method for improving performance in high-demand computational tasks. However, developing hardware designs for such acceleration…
Energy Consumption and Performance of Heapsort in Hardware and Software
Maja H. Kirkeby, Thomas Krabben, Mathias Larsen +5
In this poster abstract we will report on a case study on implementing the Heapsort algorithm in hardware and software and comparing their time and energy consumption. Our experime…
Probabilistic Resource Analysis by Program Transformation
Maja H. Kirkeby, Mads Rosendahl
The aim of a probabilistic resource analysis is to derive a probability distribution of possible resource usage for a program from a probability distribution of its input. We prese…
ENTRA: Whole-Systems Energy Transparency
Kerstin Eder, John P. Gallagher, Pedro Lopez-Garcia +14
Promoting energy efficiency to a first class system design goal is an important research challenge. Although more energy-efficient hardware can be designed, it is software that con…
Probabilistic Output Analysis by Program Manipulation
Mads Rosendahl, Maja H. Kirkeby
The aim of a probabilistic output analysis is to derive a probability distribution of possible output values for a program from a probability distribution of its input. We present…
Abstract Interpretation as a Programming Language
Mads Rosendahl
In David Schmidt's PhD work he explored the use of denotational semantics as a programming language. It was part of an effort to not only treat formal semantics as specifications b…