Zobrazeno 1 - 10
of 243
pro vyhledávání: '"V. . Koshelev"'
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 5, Pp 59-86 (2018)
This paper proposes an approach for detecting bugs in C# programs and uses null pointer deference as the main example. The approach is based on a scalable path-sensitive analysis, which involves symbolic execution with state merging and function summ
Externí odkaz:
https://doaj.org/article/f8df8d6173ca49d5b814613a7d14d25a
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 4, Pp 149-168 (2018)
The paper describes a static analysis approach for buffer overflow detection in C/C++ source code. This algorithm is designed to be path-sensitive as it is based on symbolic execution with state merging. For now, it works only with buffers on stack o
Externí odkaz:
https://doaj.org/article/c003ad0ec6c5490dae3de16dd207a945
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 1, Pp 21-40 (2018)
The paper describes static analysis techniques that are used for defect detection in C# programs. The goal of proposed analysis approaches is to catch more defects within an acceptable amount of time. Although the paper contains a description of full
Externí odkaz:
https://doaj.org/article/616cbacf5d404408be02ab8e59d44035
Autor:
Yu. S. Tuchkovenko, О. P. Garkusha, О. M. Gryb, S. G. Gushcha, Yu. М. Denha, K. S. Kalashnik, Kh. О. Koieva, V. N. Komorin, О. V. Koshelev, G. G. Minicheva, N. S. Loboda, А. L. Pohrebnyi, Yu. V. Oleynik, S. М. Stepanenko, О. І. Tsurcan
Publikováno v:
Український гідрометеорологічний журнал, Iss 30, Pp 40-64 (2022)
The Kuialnyk Estuary belongs to the group of closed estuaries of the Northwestern Black Sea coast and is a unique water body of national importance with therapeutic properties. The natural territories of the Kuialnyk Estuary were declared as a resort
Externí odkaz:
https://doaj.org/article/4bf123ae75834b3db87c638ad8bce55f
Autor:
Alexander P. Kamantsev, Yuriy S. Koshkid’ko, Ruslan Yu. Gaifullin, Irek I. Musabirov, Anatoliy V. Koshelev, Alexey V. Mashirov, Vladimir V. Sokolovskiy, Vasiliy D. Buchelnikov, Jacek Ćwik, Vladimir G. Shavrov
Publikováno v:
Metals, Vol 13, Iss 12, p 1985 (2023)
Direct measurements of the magnetocaloric effect were performed in a Heusler Ni44.4Mn36.2Sn14.9Cu4.5 alloy at cryogenic temperatures in magnetic fields up to 10 T. The maximum value of the inverse magnetocaloric effect in a 10 T field was ∆Tad =
Externí odkaz:
https://doaj.org/article/c1a397601ee54efd98e9ccadc7adec5b
Publikováno v:
JAAD Case Reports, Vol 18, Iss , Pp 64-66 (2021)
Externí odkaz:
https://doaj.org/article/1889df4918154e71abb4f879390b1986
Publikováno v:
Alʹmanah Kliničeskoj Mediciny, Vol 46, Iss 7, Pp 672-681 (2018)
Background: Sepsis is a severe life-threatening condition characterized by combined dysfunction of the inner organs and systems and by dysregulation of the platelet and coagulation compartments of hemostasis, in particular.Aim: To assess the characte
Externí odkaz:
https://doaj.org/article/6576c3792eac4a9294a3fb713064e73a
Autor:
N. N. Dentsov, A. V. Koshelev
Publikováno v:
Вестник Самарского университета: Аэрокосмическая техника, технологии и машиностроение, Vol 17, Iss 3, Pp 148-157 (2018)
The decision on creation of a new energy-efficient vibration screen using combination parametrical resonance is presented. The decision makes it possible to expand functional and operational opportunities of vibration machines. Dynamic and mathematic
Externí odkaz:
https://doaj.org/article/b728134cf34d47689c6954ecb8dbf3e9
Autor:
A. M. Belyakov, A. V. Koshelev
Publikováno v:
Arid Ecosystems. 13:105-114
Autor:
О. І. Tsurcan, S. М. Stepanenko, Yu. V. Oleynik, А. L. Pohrebnyi, N. S. Loboda, G. G. Minicheva, О. V. Koshelev, V. N. Komorin, Kh. О. Koieva, K. S. Kalashnik, Yu. М. Denha, S. G. Gushcha, О. M. Gryb, О. P. Garkusha, Yu. S. Tuchkovenko
Publikováno v:
Ukrainian hydrometeorological journal. :40-64
The Kuialnyk Estuary belongs to the group of closed estuaries of the Northwestern Black Sea coast and is a unique water body of national importance with therapeutic properties. The natural territories of the Kuialnyk Estuary were declared as a resort