Katarína Jelemenská

13 papers C 6Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2020 J jnl
Automation of Dynamic Power Management in FPGA-Based Energy-Constrained Systems.
IEEE Access
Michal Skuta, Dominik Macko, Katarína Jelemenská
2018 J jnl
Simplifying low-power SoC top-down design using the system-level abstraction and the increased automation.
Integr.
Dominik Macko, Katarína Jelemenská, Pavel Cicák
2017 C conf
PMS2UPF: An automated transition from ESL to RTL power-intent specification.
DDECS
Miroslav Siro, Dominik Macko, Katarína Jelemenská
2017 J jnl
Verification of Power-Management Specification at Early Stages of Power-Constrained Systems Design.
J. Circuits Syst. Comput.
Dominik Macko, Katarína Jelemenská, Pavel Cicák
2016 C conf
Early-stage verification of power-management specification in low-power systems design.
DDECS
Dominik Macko, Katarína Jelemenská, Pavel Cicák
2015 C conf
Power-Management Specification in SystemC.
DDECS
Dominik Macko, Katarína Jelemenská, Pavel Cicák
2015 C conf
Power-management high-level synthesis.
VLSI-SoC
Dominik Macko, Katarína Jelemenská, Pavel Cicák
2014 — conf
Power-efficient power-management logic.
PATMOS
Dominik Macko, Katarína Jelemenská, Pavel Cicák
2014 C conf
Self-managing power management unit.
DDECS
Dominik Macko, Katarína Jelemenská
2013 — conf
Extensible framework for graphical representation of HDL models and Simulation Results.
AFRICON
Katarína Jelemenská, Martin Hyben, Tomás Janciga, Martin Kardos, Lubomír Maron, Zsolt Süll
2013 — conf
Managing digital-system power at the system level.
AFRICON
Dominik Macko, Katarína Jelemenská
2012 C conf
VHDLVisualizer: HDL model visualization with simulation-based verification.
DDECS
Dominik Macko, Katarína Jelemenská
2011 — conf
VHDL structural model visualization.
EUROCON
Dominik Macko, Katarína Jelemenská