Zobrazeno 1 - 10
of 80
pro vyhledávání: '"V A Ivannikov"'
Autor:
V. P. Ivannikov, A. A. Belevantsev, A. E. Borodin, V. N. Ignatiev, D. M. Zhurikhin, A. I. Avetisyan, M. I. Leonov
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 231-250 (2018)
This paper describes Svace, a tool for static program analysis developed in ISP RAS. This tool allows to find defects and potential vulnerabilities in source code of programs written in C/C++ languages. Main features of the tool are simplicity of usa
Externí odkaz:
https://doaj.org/article/3a598609c4dc49a7a88bc78698287dd3
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 4, Pp 5-22 (2018)
The article suggests a new object model of data for in-depth analysis of network traffic. In contrast to the model used by most existing network analyzers, such as Wireshark or Snort, the core of our model supports data streams reassembling and next
Externí odkaz:
https://doaj.org/article/16474eab74234b4e99023402a97b808d
Autor:
A. O. Kudryavtsev, V. K. Koshelev, A. O. Izbyshev, I. A. Dudina, Sh. F. Kurmangaleev, A. I. Avetisyan, V. P. Ivannikov, V. E. Velikhov, E. A. Ryabinkin
Publikováno v:
Труды Института системного программирования РАН, Vol 24, Iss 0 (2018)
There is pronounced interest to cloud computing in the scientific community. However, current cloud computing offerings are rarely suitable for highperformance computing, in large part due to an overhead level of underlying virtualization components.
Externí odkaz:
https://doaj.org/article/6c8b34250a3f4ef48018ab545f830f7a
Publikováno v:
Труды Института системного программирования РАН, Vol 24, Iss 0 (2018)
UniTESK (UNIfied TEsting and Specification toolKit) is a testing technology based on formal models (or specifications) of requirements to behavior of software or hardware components. It was created with experience gained during development of the fra
Externí odkaz:
https://doaj.org/article/4d5b38fe71d544b89f43e961b8ab20eb
Publikováno v:
Труды Института системного программирования РАН, Vol 24, Iss 0 (2018)
This paper describes issues related to automatic detection of concurrency defects using dynamic analysis methods with primary target subject as the Android platform. Due to the increased popularity and spread of Android platform and, more importantly
Externí odkaz:
https://doaj.org/article/d1899f4e24ec40c1ab6842a4c3636afd
Autor:
I. V. Savelyeva, V. E. Bezsmertnyj, V. N. Savelyev, Yu. M. Fedorov, C. M. Ivanova, V. V. Ivannikov
Publikováno v:
Инфекция и иммунитет, Vol 3, Iss 3, Pp 285-288 (2014)
Abstract. The possibility of serological diagnosis of cholera using cholera enterotoxic diagnostics kit in complement fixation test to detect anti-enterotoxic antibodies in sera of patients with cholera caused by hybrid variants of the El Tor biovar
Externí odkaz:
https://doaj.org/article/2bf1dd8b3b804d5a85b6ecf21f44ca5a
Autor:
V. P. Ivannikov
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 7-8 (2018)
Externí odkaz:
https://doaj.org/article/6736927df26b485f9e6a04e0cd7f83f7
Autor:
M. A. Nikulin, V. A. Ivannikov, V. N. Bukhtoyarov, A. P. Novikov, A. N. Shvyrev, K. A. Yakovlev, A. V. Latynin
Publikováno v:
PROCEEDINGS OF THE 10TH WORKSHOP ON METALLIZATION AND INTERCONNECTION FOR CRYSTALLINE SILICON SOLAR CELLS.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b125a7139823a628ea33850bf1c8bebd
https://doi.org/10.1063/5.0105585
https://doi.org/10.1063/5.0105585
Publikováno v:
Медицинский вестник Юга России, Vol 0, Iss 3, Pp 38-43 (2012)
Purpose: To evaluate the results of radical cystectomy with orthotopic urine derivation in respect of disease recurrence, survival, as well as early and late complications and quality of life. Materials and methods: the series of 290 bladder cancer p
Externí odkaz:
https://doaj.org/article/f9a6e58c6f5e4f498baa6b58083eb5a4
Autor:
V. A. Bolotov, I. V. Shebolaev, I. M. Ikryanov, Yu. D. Chernousov, Yu. Yu. Tanashev, V. I. Ivannikov
Publikováno v:
Instruments and Experimental Techniques. 62:289-294
An apparatus for conducting chemical reactions with microwave heating of reagents was developed. It consists of a microwave oscillator based on a domestic magnetron with deep regulation of the microwave-power level and a device for microwave heating,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::428ab3a08b862ac4b040b3594275f486
https://doi.org/10.1134/s0020441219020040
https://doi.org/10.1134/s0020441219020040