The implementation of extended arithmetics on FPGA-based structures

A Palagin, V Opanasenko - 2017 9th IEEE International …, 2017 - ieeexplore.ieee.org
The Implementation of Extended Arithmetics on FPGA-based Structures Page 1 The 9th IEEE
International Conference on Intelligent Data Acquisition and Advanced Computing Systems …

Network model of IT-infrastructure resource management

SL Kryvyi, SD Pogorilyy… - 2019 IEEE International …, 2019 - ieeexplore.ieee.org
A formal model of a system for planning tasks in an IT infrastructure based on temporary
Petri nets is proposed. The proposed model consists of a finite set of executors …

Cloud resource management with a hybrid virtual machine consolidation approach

E Zharikov, S Telenyk, O Rolik… - 2019 IEEE international …, 2019 - ieeexplore.ieee.org
Modern cloud data centers must effectively deliver a wide range of IT services to clients
ensuring preassigned performance and availability. But the rapid growth of large-scale IT …

Using Mathematical Optimization Methods to Maximize Audience Reach with Budget Constraints

H Shevchenko, N Dakhno… - 2022 IEEE 4th …, 2022 - ieeexplore.ieee.org
So-called simulation models are used. They are based on the processing of real data on the
level of audience coverage. These data are the result of statistical studies of potential …

Face Recognition Technology Improving Using Convolutional Neural Networks

O Miakshyn, P Anufriiev… - 2021 IEEE 3rd International …, 2021 - ieeexplore.ieee.org
The principles of the face recognition technology building, which are based on the
architecture of convolutional neural networks, are considered. Attention is paid to such …

Confirmation of Mutual Synchronization of the TPMs Using Hash Functions

M Aleksandrov - 2021 IEEE 3rd International Conference on …, 2021 - ieeexplore.ieee.org
This paper presents experimental results of evaluating the effect of network delay on the
synchronization time of three parity machines. The possibility of using a hash function to …

Automating the Conversion of Colored Petri Nets with Qualitative Tokens Into Colored Petri Nets with Quantitative Tokens

DK Hlomozda, MM Glybovets… - Cybernetics and Systems …, 2018 - Springer
The authors describe an algorithm for conversion of colored Petri nets with qualitative tokens
into a colored Petri net with quantitative tokens preserving boundedness, mutual exclusion …

[PDF][PDF] The Verification of Decision Tree Model for Coreference Resolution Using Marked Transition Systems, Petri Nets and Büchi Automata

S Pogorilyy, M Slynko, P Biletskyi - 2024 - ceur-ws.org
This paper addresses the problem of coreference resolution, which involves identifying
words or phrases in a text that refer to the same real or imaginary entity. The solution for this …

[PDF][PDF] Method of semantic application verification in GPGPU technology

SL Kryvyi, SD Pogorilyy, MS Slynko… - СИСТЕМНІ …, 2020 - researchgate.net
An application development and verification method for massively parallel systems using
NVIDIA GPUs is proposed. The method allows creating models at different levels of …

Теоретичні та прикладні засади інтелектуальної інформаційної технології отримання довірчих рішень за людиноцентрованим підходом

ЕА Манзюк - 2022 - elar.khmnu.edu.ua
Анотація У дисертаційній роботі вирішено актуальну науково-прикладну проблему
недостатнього рівня довіри до інтелектуальних інформаційних технологій в частині …