Zobrazeno 1 - 10
of 111
pro vyhledávání: '"K. Petrenko"'
Publikováno v:
Machinery & Energetics, Vol 14, Iss 4, Pp 42-53 (2023)
The research relevance is determined by the need to improve the processes of measurement of objects size in hard-to-reach conditions. In the modern industrial environment, where high measurement accuracy is critical for ensuring safety and maximizing
Externí odkaz:
https://doaj.org/article/f163953e2728464d81e92f1a428ec709
Publikováno v:
Український антарктичний журнал, Iss 2, Pp 117-126 (2021)
Renewable energy and other methods of minimizing emissions into the atmosphere should be a priority for each country. This approach should be extended to Antarctica scientific stations. The study main objective was to obtain the necessary estimates o
Externí odkaz:
https://doaj.org/article/0efd48939fa34f48a61e513dacf112b5
Publikováno v:
Фінансово-кредитна діяльність: проблеми теорії та практики, Vol 1, Iss 42 (2022)
Abstract. Current trends in the globalization economy, especially in the context of economic crises caused by hybrid war, COVID-19, lead to a constant search for new methods of enterprise management that could ensure its effective functioning. The pu
Externí odkaz:
https://doaj.org/article/d9c365f88bf84eaa8f74dcf1cad4d6c1
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 367-382 (2019)
The paper presents recent results on the way towards accurate and complete verification of industrial operating systems (OS). We consider here OSes, either of general purpose or actively used in some industrial domain, elaborated and maintained for a
Externí odkaz:
https://doaj.org/article/1177b6bf0df1485baad0e075d25e9911
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 341-366 (2019)
Functional programming plays the big role in the modern computer science and its importance is growing. This is not accidential: this approach helps to create better and more reliable software that is easy to reason about (both manually and automatic
Externí odkaz:
https://doaj.org/article/89fbd92bc9794df398f0089a34e7f05b
Autor:
E. M. Lavrishcheva, A. K. Petrenko
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 5, Pp 7-30 (2018)
Formation of Informatics and aspects of computer software development, in particular, operating systems and information systems since the period of appearance of the first computers of 1948-1990 is considered. The program of informatization of Russia
Externí odkaz:
https://doaj.org/article/fe26610c331e4125962c9a769a3d39b2
Autor:
I. S. Zakharov, M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. K. Petrenko, A. V. Khoroshilov
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 2, Pp 5-42 (2018)
An operating system (OS) kernel is a critical software regarding to reliability and efficiency. Quality of a modern OSs kernel is high enough. Another situation is with kernel modules, e.g. device drivers, which due to various reasons have a signific
Externí odkaz:
https://doaj.org/article/c6ce8def99fd4d52824de9d3f77563c9
Autor:
D. V. Buzdalov, S. V. Zelenov, E. V. Kornykhin, A. K. Petrenko, A. V. Strakh, A. A. Ugnenko, A. V. Khoroshilov
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 201-230 (2018)
Growth of modern avionics systems makes design of such systems impossible without involvement of automation. Nowadays an area of such tools is represented by both the proprietary tools developed by the major aircraft manufacturers like Boeing and Air
Externí odkaz:
https://doaj.org/article/efb74ee61157432b9349fa74d2bb50cc
Autor:
K. M. Lavrischeva, A. K. Petrenko
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 6, Pp 49-64 (2018)
Complex software systems always exist for a long time, sometimes changing, and this leads to a variety of versions of such a system. In additional complex software systems usually have different (sometimes a lot) configurations due to different hardw
Externí odkaz:
https://doaj.org/article/47355d6f888b48339ecec5363bac0339
Autor:
E. A. Gerlits, V. V. Kuliamin, A. V. Maksimov, A. K. Petrenko, A. V. Khoroshilov, A. V. Tsyvarev
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 73-108 (2018)
An operating system is a base stone of any computer system. Failures and bugs in operating system impact the functionality of the system as a whole, that is why correctness and reliability of operating systems are so important. A variety of circumsta
Externí odkaz:
https://doaj.org/article/83472659519a4f1c97dfd0363d8686ed