research
∙
04/07/2022
Energy Consumption and Performance of Heapsort in Hardware and Software
In this poster abstract we will report on a case study on implementing t...
share
research
∙
04/07/2022
Towards Comparing Performance of Algorithms in Hardware and Software
In this paper, we report on a preliminary investigation of the potential...
research
∙
09/07/2021
An Inversion Tool for Conditional Term Rewriting Systems – A Case Study of Ackermann Inversion
We report on an inversion tool for a class of oriented conditional const...
research
∙
05/26/2018
Confluence of CHR revisited: invariants and modulo equivalence
Abstract simulation of one transition system by another is introduced as...
research
∙
09/15/2017