1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2022★ 1 cited
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…
cs.PL2021
An Inversion Tool for Conditional Term Rewriting Systems -- A Case Study of Ackermann Inversion
Maria Bendix Mikkelsen, Robert Glück, Maja H. Kirkeby
We report on an inversion tool for a class of oriented conditional constructor term rewriting systems. Four well-behaved rule inverters ranging from trivial to full, partial and se…