5 citations · 29 across the 26 of their papers we have counts for
3 papers · 1 filter
Perun: Performance Version System
Tomáš Fiedor, Jiří Pavela, Adam Rogalewicz +1
In this paper, we present Perun: an open-source tool suite for profiling-based performance analysis. At its core, Perun maintains links between project versions and the correspondi…
Designing Approximate Arithmetic Circuits with Combined Error Constraints
Milan Češka, Jiří Matyáš, Vojtech Mrazek +1
Approximate circuits trading the power consumption for the quality of results play a key role in the development of energy-aware systems. Designing complex approximate circuits is,…
Low-Level Bi-Abduction
Lukáš Holík, Petr Peringer, Adam Rogalewicz +3
The paper proposes a new static analysis designed to handle open programs, i.e., fragments of programs, with dynamic pointer-linked data structures - in particular, various kinds o…