Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Rosendahl, Mads"'
Autor:
Kirkeby, Maja H., Krabben, Thomas, Larsen, Mathias, Mikkelsen, Maria B., Petersen, Tjark, Rosendahl, Mads, Schoeberl, Martin, Sundman, Martin
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 experiment shows that the Hardware implementation is more energy efficient, bu
Externí odkaz:
http://arxiv.org/abs/2204.03401
Autor:
Kirkeby, Maja H., Rosendahl, Mads
Publikováno v:
Lecture Notes in Computer Science 9964 (2016) 60-80
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 present an automated multi- phase rewriting based method to analyze program
Externí odkaz:
http://arxiv.org/abs/1608.01106
Autor:
Eder, Kerstin, Gallagher, John P., Lopez-Garcia, Pedro, Muller, Henk, Bankovic, Zorana, Georgiou, Kyriakos, Haemmerle, Remy, Hermenegildo, Manuel V., Kafle, Bishoksan, Kerrison, Steve, Kirkeby, Maja, Klemen, Maximiliano, Li, Xueliang, Liqat, Umer, Morse, Jeremy, Rhiger, Morten, Rosendahl, Mads
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 controls the hardware; for a given system the potential for energy saving
Externí odkaz:
http://arxiv.org/abs/1606.04074
Autor:
Rosendahl, Mads, Kirkeby, Maja H.
Publikováno v:
EPTCS 194, 2015, pp. 110-124
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 a method for performing static output analysis, based on program trans
Externí odkaz:
http://arxiv.org/abs/1509.08566
Autor:
Rosendahl, Mads
Publikováno v:
EPTCS 129, 2013, pp. 84-104
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 but also as interpreters and input to compiler generators. The semantic
Externí odkaz:
http://arxiv.org/abs/1309.5133
Autor:
Gallagher, John P., Rosendahl, Mads
Publikováno v:
Logic for Programming, Artificial Intelligence & Reasoning (9783540894384); 2008, p682-696, 15p
Autor:
Rosendahl, Mads
Publikováno v:
Functional Programming Languages & Computer Architecture; Jan1989, p144-156, 13p
Autor:
Schjerlund, Jonas
Virtual reality (VR) technology has seen remarkable development and resurgence over the last few years, which is reflected in both enterprise applications and academic research. Chief among this new wave of VR technology is so-called room-scale VR, w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______278::a1286e83dcce9682659ce44798323cb6
https://rucforsk.ruc.dk/ws/files/62099983/Front_page.pdf
https://rucforsk.ruc.dk/ws/files/62099983/Front_page.pdf