Probabilistic Output Analyses for Deterministic Programs --- Reusing Existing Non-probabilistic Analyses

Autor: Kirkeby, Maja Hanne

Publikováno v: EPTCS 312, 2020, pp. 43-57

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., interval analyses. We assume a probability measure over the program input

Externí odkaz: http://arxiv.org/abs/2001.06943

An inversion tool for conditional term rewriting systems - a case study of Ackermann inversion

Autor: Mikkelsen, Maria Bendix, Glück, Robert, Kirkeby, Maja Hanne

Publikováno v: Mikkelsen, M B, Glück, R & Kirkeby, M H 2021, An inversion tool for conditional term rewriting systems-a case study of Ackermann inversion . in A Lisitsa & A P Nemytykh (eds), Proceedings of the 9th International Workshop on Verification and Program Transformation . arxiv.org, Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 341, pp. 33-41, 9th International Workshop on Verification and Program Transformation, Luxembourg, Luxembourg, 27/03/2021 . https://doi.org/10.4204/EPTCS.341.3

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 semi-inverters are included. Conditional term rewriting systems are theo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2751::cab1d8f51f5dcada32d50a5f957bc711
https://curis.ku.dk/portal/da/publications/an-inversion-tool-for-conditional-term-rewriting-systems--a-case-study-of-ackermann-inversion(e3561750-83e7-4652-b9c1-0827d8b58ab7).html

Energy consumption of .Net Object Relational Mappers

Autor: Kolesár, Patrik

This thesis critically investigates the energy efficiency implications of Object Relational Mapping (ORM) frameworks within the .NET landscape, particularly focusing on Dapper, Entity Framework, and nHibernate. The primary objectives involve evaluati

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______278::8da6a3f1076d9f60230fc4fca57b184c
https://rucforsk.ruc.dk/ws/files/96091197/Master_thesis___Patrik_Kolesar.pdf