3 citations · 5 across the 4 of their papers we have counts for
4 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…
Probabilistic Output Analyses for Deterministic Programs --- Reusing Existing Non-probabilistic Analyses
Maja Hanne Kirkeby
We consider reusing established non-probabilistic output analyses (either forward or backwards) that yield over-approximations of a program's pre-image or image relation, e.g., int…
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…
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…