About
60
Publications
12,362
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
205
Citations
Introduction
Current institution
Publications
Publications (60)
The increasing performance demands for processors leveraged in mission and safety-critical applications mean that the processors are implemented in smaller fabrication technologies, allowing a denser integration and higher operational frequency. Besides that, these applications require a high dependability and robustness level. The properties that...
This scholarly discourse presents a novel architecture for automating student assignment evaluations leveraging the Docker environment. The innovative design promotes individualized technology selection by students for problem-solving in academic assignments. The assessment of these assignments relies on the utilization of RESTful APIs encapsulated...
With regards to the Internet of Things market, LoRa has emerged as the chief technology for devices with low-power requirements and long-range communications while maintaining low development costs. At present, pure ALOHA is used to access communication channels in LoRa networks. However, in high-density environments, this leads to frequent packet...
With an increasing demand for data across various industries, IoT-based sensor networks have become a common solution for this problem. While most Internet of Things (IoT) devices communicate using wireless mediums such as Wireless-Fidelity (Wi-Fi), Bluetooth, or cellular, these solutions carry certain limitations in terms of range and energy consu...
When working with computer networks, it is always beneficial to know about certain events, as soon as possible. This information gives network administrators time to solve the problem before it significantly affects network performance or security. Early warning is the main reason for implementing event logging and data evaluation. Once these issue...
This paper proposes an experiment to compare the performance of HTTP/3 client implementations based on the ngtcp2 (nghttp3) and quiche libraries with the widely used stable HTTP/2 client implementation using cURL. This study analyses and compares times required to prepare and transfer data from public sites (extracted from HTTP Archive) within diff...
Processors for terrestrial applications are protected by Earth's atmosphere and magnetic field, so the probability of single event effects (SEE) is significantly lower. Shrinking of the technology nodes allows higher operational frequency and performance, but their susceptibility to SEE is increasing. Nowadays satellites and safety critical automot...
Understanding and developing large applications often leads to a situation where the developer becomes lost. Software visualization aims to help with these problems by pro- viding visual insights and helps to navigate, and, when properly done, also to visually model software. Although the advantages of virtual reality in software visualization have...
Microwave ablation at 2.45 GHz is gaining popularity as an alternative therapy to hepatic resection with a higher overall survival rate than external beam radiation therapy and proton beam therapy. It also offers better long-term recurrence-free overall survival when compared with radiofrequency ablation. To improve the design and optimization of m...
Since power is the key aspect in modern systems on chips, many power-reduction techniques are adopted in the design process, mostly applied through power management. Its standard specification lacks the abstraction required by complex designs and therefore becomes difficult and error-prone. In this work, higher abstraction is introduced into the po...
Unmanned aerial vehicles are becoming an effective platform to perform all kinds of civil missions nowadays. This paper focuses on path planning for multiple unmanned aerial vehicles devices performing search missions. This planning consists of several logical steps - first, an area must be split into smaller logical areas, then the search algorith...
Nowadays, power is a dominant factor that constrains highly integrated hardware-systems designs. The implied problems of high power density, causing chip overheating, or limited power source in modern Internet-of-Things devices are most commonly dealt with the use of the dynamic power management. This method enables to use power-reduction technique...
This paper deals with the problem of HDL (Hardware Description Language) models e-assessment in the process of determining level of students' knowledge of VHDL (VHSIC Hardware Description Language). The designed method for assessing a programming code takes into account whether student's code can be successfully compiled and whether the simulation...
Power consumption becomes a dominant problem in current hardware-systems design. It is most commonly dealt with use of power-management techniques, such as clock gating, power gating, or voltage and frequency scaling. In modern complex systems, power-management adoption is difficult to achieve, and therefore new approaches to simplify power-managed...
Power management is an integral part of almost every new system design. It enables to keep the power under constrains, implementing such power-reduction techniques as power gating, multi-voltage design, or voltage and frequency scaling. Due to the complexity of modern designs, the system level of abstraction is adopted as a design starting point. H...
Power consumption is the greatest concern in current highly-integrated hardware-system design. The power reduction is targeted mostly through power management, implementing such techniques as clock gating, power gating, or voltage and frequency scaling. Due to growing complexity, the start-point in the design has moved from the register-transfer le...
Lecture presentation represents the common approach in student's education process. However, majority of presenters do not adjust their presentation during the lecture in order to react correspondingly to the students' initiative. In this paper the novel presentation system — Tablet Presenter is introduced that is dedicated to multi-touch screen Ta...
Since the power consumption has become the key aspect in almost every digital-system design, many advanced power-reduction techniques have been developed to minimize power. The most popular strategy to apply these techniques is adoption of so-called power management. The control signals for the power-management elements are generated by power-manag...
Nowadays perhaps the most widespread teaching style at the university lectures is based on slides presentation using computer and data projector. Compared to the previously used "blackboard and chalk" style, data projectors brought a substantial loss of interactivity between students and teacher into the teaching process. Students are often taking...
Nowadays the digital systems design is almost exclusively realized using hardware description languages (HDL). Verilog belongs to the HDLs that are the most widespread especially in the United States. However, the textual HDL representation of structural model is less understandable compared the schematic one. Therefore a transformation of the stru...
The paper presents a knowledge and skills assessment solution developed to test the skills that the students have gained in SystemC modeling. Previously, the pen and paper form course exams were used that were popular neither with students nor with teachers. What is more, this form was not suitable for student's debugging skills verification, and t...
This paper deals with the design and implementation of networking support into presentation system. The analysis of the available presentation systems and possible sending techniques led us to the conclusion, that multicast is the best choice for implementing real-time one-to-many communication. The new system was designed to increase delivery reli...
Logic circuits knowledge is the cornerstone of all the courses devoted to digital systems design. Therefore, it is important to ensure a high level of knowledge, understanding as well as the skills of all the students of informatics and computer science study programs. The present study introduces a method to improve the students‟ results by the me...
This contribution deals with an educating tool called PN Designer, developed to support Petri Nets education - design, simulation, properties analysis and testing. It helps students to master Petri Nets and can also be used to examine students’ knowledge. Teachers are able to prepare various tasks that can then be used in the learning and/or assess...
Electronic presentations have gained increasing importance in the education process of students. In recent times, a majority of presentation systems have been used for creating static presentations that cannot be easily changed during the presentation. This disadvantage prevents the instructor from reacting accordingly to students' initiatives. The...
Petri nets provide an adequate means to visualize both sequential and parallel controller behavior. They can be used to model and visualize behavior comprising concurrency and synchronization. Strongly time dependent complex controllers can be modeled using Petri nets by introducing several extensions to the basic formalism. The contribution of the...
Coloured Petri Nets (CPN) has been developed as a modeling language mainly for the parallel processes and communication protocols. CPN were used for modeling of various protocols, i.e. TCP/IP or CAN. In this paper it is presented CPN model of the MODBUS over serial line protocol, which is defined on the 2nd layer of ISO/OSI reference model. The mod...
The paper presents a knowledge assessment approach developed for support of Digital system description course. In the course
the students should comprehend the methods and techniques used in digital system design, and gain the skills in digital systems
modelling using hardware description languages (HDL). For many years the course exams used to be...
Komunikačný model definuje pravidlá, ktoré musí definovať každý účastník
komunikácie. V roku 1979 bol organizáciu ISO prijatý návrh vrstvového modelu RM ISO/OSI
(Reference Model of Open Systems Interconnection) pod číslom ISO 7498 [2]. Tento model
definuje vrstvy a úlohy, ktoré by mali riešiť tieto vrstvy. Referenčný ISO/OSI definuje 7
základných v...
This paper is dedicated to the issues related to the system of career promotion of professionals in the field of computer networks based on industrial certificates. The EU member countries face a serious shortage of professionals in development and care of information and communication technologies. It is expected that by 2008 the EU countries coul...
IETF RFC 2002 encountered some inefficiencies in registration process, one of the mobile-IP protocol three basic core capabilities. Mobile-IP is often far from optimal level, since all registration steps take place after the mobile node already roamed into the destined foreign subnet, causing packet losses problem while it is roaming. In this paper...
SkipNet overlay, a peer-to-peer network design proposed by J. A. Harvey et al. (based on W. Pugh’s Skip Lists) is an example of structured P2P overlays. It has two significant properties: path and content locality. The authors also proposed a deterministic version of SkipNet, which has guaranteed bound on routing time complexity. We found that both...
Knowledge and skills assessment has always been problem in the courses devoted to programming languages, whether it was assembly or higher level programming language. To master the programming language, the students should solve various problems using the language. Similarly, the thorough knowledge and skills assessment during the exam should also...
The purpose of this contribution is to present a solution that was developed to support Digital Systems Description course. In this course the students should comprehend the methods and techniques used in digital system design, and gain the skills in digital systems modeling using hardware description languages (HDLs). The lab assignments in this c...
The computer industry is facing a problem in the design of complex systems. The result of increasing system complexity the gap between the idea of the system and the realization is rapidly expanding. One of the new approaches to solve the complexity of system design is system design (co-design). This approach relies hard on the step of partitioning...
Throughout the world, many VHDL (Very-high-speed integrated circuit Hardware Description Language) simulators exist, but only a few of them support the visualization of VHDL model simulation. The simulation is most commonly displayed as a waveform. This representation of the visualization is sufficient for the verification of the model, however it...
