Auflistung nach Titel
Anzeige der Dokumente 142-161 von 6810
-
Exploring timeout as a performance and availability factor of distributed replicated database systems
(ХАІ, 2020)In the paper, we consider the role of the application timeout which is the fundamental part of all distributed fault tolerance mechanisms working over the Internet and used as the main error detection mechanism here. The ... -
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 ... -
Features of banking information systems dependability taxonomy
(ХАІ, 2007)Banking information systems (BIS) evolution history and general structure are considered. The main BIS requirements are analyzed. The dependability attributes with regard to BIS are determined. -
Features of translation of neologisms in social networks
(ХАІ, 2023) -
Finding antiderivatives with the help of the generalized Taylor series
(ХАИ, 2016)Finding antiderivatives of the given functions is an important component in a number of problems of applied mathematics. Difficulties occur in a case when the antiderivative in question cannot be expressed in terms of ... -
Forecasting tuberculosis diseases in Ukraine by the method of selection of the largest possibility
(Планета-прінт, 2019)The purpose of the work is to develop a time series model using the method of greatest similarity and prediction on the basis of TB in Ukraine. -
Forensic Prevention: The Concept Of Implementation In Ukraine
(“Baltija Publishing”, 2020)The article analyzes the conceptual principles, opinions and ideas for understanding the essence of forensic science private theory, namely: forensic prevention concept is considered. The empirical prerequisites for the ... -
Form tool designing
(KhAI, 2014)Graphic and analytic methods of form tool profile determination are covered in this educational aid, as well as estimation of working errors for form tool. Stages of form tool designing are shown. Data on computational ... -
Formal model of technological processes's description of complex technical systems's tests
(ХАІ, 2006)Theoretical aspects of application of the problem-oriented language for description the tests of the technological processes of complex technical systems are considered. The formal grammar of language and features of use ... -
Formalization of tasks generation for complex of interactive web-tests on math
(ХАІ, 2021)The approach to the formalization of the generation of problem situations applicable to the development of tutoring programs consisting of many tasks is considered. The main errors arising during the software-based generation ...