Пошук
Зараз показуються 1-8 з 8
Resourse-oriented diversification of fault-tolerant PLD-systems
(ХАІ, 2006)
The analysis of methods for increasing reliability during designing the fault-tolerant digital systems with
programmable logic (PLD-systems) in terms of diversity principle is given. The concepts of internal and ...
Assessing software vulnerabilities and recovery time using open resources: elements of technique and results
(ХАІ, 2007)
Modern vulnerability resources are considered, their content, security and recovery time of different software
products are analyzed. To make the process smoother and more efficient three main stages are distinguished:
source ...
Fault-tolerant SoPC-based approaches with multi-version IIP
(ХАІ, 2007)
In this paper different approaches of Infrastructure Intellectual Property (IIP) implementation for System-on-
Programmable-Chip (SoPC) are discussed. Several diversity-oriented SoPC approaches and different techniques
of ...
Multi-valued decision diagram in importance analysis
(ХАІ, 2012)
New algorithms for calculation of the importance measures based on the methods of Logical Differential Calculus and Binary (Multi-Valued) Diagram are proposed taking into account features of MSSs. Benchmarking algorithms ...
Practical aspects of operating and analytical reliability assessment of FPGA-baced I&C systems
(ХАІ, 2020)
The paper summarizes our experience in operating and analytical reliability assessment of FPGA based NPP I&Cs.
Cybersecurity of FPGA-based automation systems for smart building
(ХАІ, 2015)
Technology advancements such as programmable logic (FPGA) and mobile decisions have made the
implementation of embedded intelligent systems within home and office appliances. This increased their
capabilities and features. ...
Heuristic self-organization of knowledge representation and development: analysis in the context of explainable artificial intelligence
(ХАІ, 2022)
The three hypotheses about the explainability of artificial intelligence and the theory of machine identification can be further defined as statements or theorems and strictly proved.
Application of dynamic programming approach to computation of atomic functions
(ХАІ, 2021)
The special class of atomic functions is considered. The functions considered are used in discrete atomic compression (DAC) of digital images. The algorithm DAC is lossy and provides better compression than JPEG, which is ...