Katarina Jelemenska

发表

Dominik Macko, Katarina Jelemenska, Pavel Cicak, 2014, 2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS).

VHDL structural model visualization

Dominik Macko, Katarina Jelemenska, 2011, 2011 IEEE EUROCON - International Conference on Computer as a Tool.

Power-management high-level synthesis

Dominik Macko, Katarina Jelemenska, Pavel Cicak, 2015, 2015 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC).

Extensible framework for graphical representation of HDL models and Simulation Results

Martin Kardos, Katarina Jelemenska, Martin Hyben, 2013, 2013 Africon.

Self-managing power management unit

Dominik Macko, Katarina Jelemenska, 2014, 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems.

Managing digital-system power at the system level

Dominik Macko, Katarina Jelemenska, 2013, 2013 Africon.

Verification of Power-Management Specification at Early Stages of Power-Constrained Systems Design

Dominik Macko, Katarina Jelemenska, Pavel Cicak, 2017, J. Circuits Syst. Comput..

PMS2UPF: An automated transition from ESL to RTL power-intent specification

Dominik Macko, Katarina Jelemenska, Miroslav Siro, 2017, 2017 IEEE 20th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS).

Power-Management Specification in SystemC

Dominik Macko, Katarina Jelemenska, Pavel Cicak, 2015, 2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems.

HSSL specification high-level synthesis

Martin Kardos, Katarina Jelemenska, Pavel Cicak, 2015, 2015 13th International Conference on Emerging eLearning Technologies and Applications (ICETA).

Interactive presentation towards students’ engagement

Katarina Jelemenska, Pavel Cicak, Viktor Dúcky, 2011 .

From CRSM to a Tasking Design

Jean-Philippe Babau, Katarina Jelemenska, Zhongwei Huang, 2000 .

SystemC modeling skills assessment in Moodle environment

Katarina Jelemenska, Pavel Cicak, 2013, 2013 IEEE 17th International Conference on Intelligent Engineering Systems (INES).

Skills based assessment in SystemC modeling

Katarina Jelemenska, Pavel Cicak, 2013 .

Interactive presentation towards interactive and collaborative learning

Katarina Jelemenska, Pavel Cicak, Jan Mazag, 2014, 2014 IEEE 12th IEEE International Conference on Emerging eLearning Technologies and Applications (ICETA).

IMPROVED ASSIGNMENTS MANAGEMENT IN MOODLE ENVIRONMENT

Katarina Jelemenska, Pavel Cicak, 2012 .

Making digital systems design more convenient to students by means of visualization

Katarina Jelemenska, 2013, 2013 IEEE 11th International Conference on Emerging eLearning Technologies and Applications (ICETA).

THE PEN-BASED TECHNOLOGY TOWARDS THE LECTURE IMPROVEMENT

Katarina Jelemenska, Pavel Cicak, P. Koine, 2010 .

VHDLVisualizer: HDL model visualization with simulation-based verification

Dominik Macko, Katarina Jelemenska, 2012, 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS).

Simplifying low-power SoC top-down design using the system-level abstraction and the increased automation

Dominik Macko, Katarina Jelemenska, Pavel Cicak, 2018, Integr..

Digital System Description Knowledge Assessment

Katarina Jelemenska, Pavel Cicak, Peter Pistek, 2010 .

Logic circuit design verification support tool - Fit Board

Dominik Macko, Katarina Jelemenska, Pavel Cicak, 2011 .

Early-stage verification of power-management specification in low-power systems design

Dominik Macko, Katarina Jelemenska, Pavel Cicak, 2016, 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS).

COURSE ASSESSMENT REDESIGN IN ASSEMBLY LANGUAGES

Katarina Jelemenska, Pavel Cicak, M. Jurikovič, 2010 .