Pavel Cicák

According to our database, Pavel Cicák authored at least 14 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Performance evaluation of the HTTP/3 client implementations.

Jakub Dubec, Jan Balazia, Pavel Cicák

Proceedings of the 46th International Conference on Telecommunications and Signal Processing, 2023

Hardened Processor Architecture.

Ján Mach, Lukás Kohútka, Pavel Cicák

Proceedings of the 30th International Conference on Mixed Design of Integrated Circuits and System, 2023

A New RISC-V CPU for Safety-Critical Systems.

Ján Mach, Lukás Kohútka, Pavel Cicák

Proceedings of the 12th Mediterranean Conference on Embedded Computing, 2023

2022

UML-based Live Programming Environment in Virtual Reality.

Jakub Kucecka, Juraj Vincúr, Peter Kapec, Pavel Cicák

Proceedings of the Working Conference on Software Visualization, 2022

IoT and LPWAN Networks: Increasing Efficiency by Communication Planning.

Ladislav Zemko, Pavel Cicák

Proceedings of the 45th International Conference on Telecommunications and Signal Processing, 2022

2019

Advanced Network Monitoring using the Selection of Critical Nodes.

Ivana Huckova, Pavel Cicák

Proceedings of the 42nd International Conference on Telecommunications and Signal Processing, 2019

2018

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

Dominik Macko, Katarína Jelemenská, Pavel Cicák

Integr., 2018

2017

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

Dominik Macko, Katarína Jelemenská, Pavel Cicák

J. Circuits Syst. Comput., 2017

2016

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

Dominik Macko, Katarína Jelemenská, Pavel Cicák

Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2016

2015

Power-management high-level synthesis.

Dominik Macko, Katarína Jelemenská, Pavel Cicák

Proceedings of the 2015 IFIP/IEEE International Conference on Very Large Scale Integration, 2015

Quantitative Analysis of the Internet Topology Model.

Duan Bernat, Pavel Cicák

Proceedings of the 2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems, 2015

Power-Management Specification in SystemC.

Dominik Macko, Katarína Jelemenská, Pavel Cicák

Proceedings of the 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2015

2014

Power-efficient power-management logic.

Dominik Macko, Katarína Jelemenská, Pavel Cicák

Proceedings of the 24th International Workshop on Power and Timing Modeling, 2014

2006

Hands on Roaming Duration: Petri-Nets Modeling of a Wireless Mobile-IP Procedure in Cisco Platform.

Hossam el-ddin Mostafa, Pavel Cicák

Proceedings of the 2006 International Conference on Networking and Services (ICNS 2006), 2006