Results 1 to 10 of about 142 (133)
Модуль упругости как функция процесса в наследственной механике
Известия Алтайского государственного университета, 2023 Рассмотрена проблема определения модуля упругости для полимерных материалов. Отмечено: сложность измерения связана с тем, что данные материалы подчиняются законам вязкоупругости. Применен метод Больцмана — Вольтерра к рассмотрению поведения наследственно-
Павел Павлович Рымкевич +1 more
doaj +1 more source
Sovremennye Issledovaniâ Socialʹnyh Problem, 2016 Уровень квалификации легкоатлетов, представляющих сборную Россию в беге на 800 м, на крупных международных соревнованиях, в большинстве случаев не соответствует мировым стандартам.
Dmitry Vladimirovich Lezov +3 more
doaj +1 more source
Buffer Overflow Detection via Static Analysis: Expectations vs. Reality
Труды Института системного программирования РАН, 2018 Over the last few decades buffer overflow remains one of the main sources of program errors and vulnerabilities. Among other solutions several static analysis techniques were developed to mitigate such program defects.
I. A. Dudina
doaj +1 more source
Труды Института системного программирования РАН, 2018 Historically program analysis methods are divided into two groups - static program analysis methods and dynamic program analysis methods. In this paper, we present a combined approach which allows to determine reachability for defects found by static ...
A. Y. Gerasimov +3 more
doaj +1 more source
Input data generation for reaching specific function in program by iterative dynamic analysis
Труды Института системного программирования РАН, 2018 Dynamic symbolic execution is a well-known technique used for different tasks of program analysis: input generation for increasing test coverage for program, inputs of death generation, exploit generation and etc.
A. Y. Gerasimov, L. V. Kruglov
doaj +1 more source
Vulnerabilities Detection via Static Taint Analysis
Труды Института системного программирования РАН, 2019 Due to huge amounts of code in modern software products, there is always a variety of subtle errors or flaws in programs, which are hard to discover during everyday use or through conventional testing.
Nikita Vladimirovitch Chimtchik +1 more
doaj +1 more source
Russian Journal of Education and Psychology, 2022 Цель исследования – определение фактора развития профессиональной субъектности посредством корреляции данных волевой составляющей (самоотношение и отношение к жизненным целям) и коммуникативной компетентности (формальные и неформальные позиции) курсанта,
Aleksey A. Dyachkov, Lev V. Shabanov
doaj +1 more source
Using different views java-programs for static analysis
Труды Института системного программирования РАН, 2018 A program representation plays an important role in static analysis of software. The article discusses options for program representations built on various stages of compilation, and software bugs detectors working on these representations.
E. A. Karpulevitch
doaj +1 more source
Survey on static program analysis results refinement approaches
Труды Института системного программирования РАН, 2018 In the present day, software development industry for different classes of computing devices grows at an extremely high speed. Continuously growing power of computational systems presents new opportunities to create powerful, often parallel, programs and
A. Y. Gerasimov
doaj +1 more source
Вестник интенсивной терапии, 2021 Актуальность. В условиях пандемии, вызванной вирусом SARS-CoV-2, мировое здравоохранение столкнулось с недостаточно изученным, быстро распространяющимся заболеванием с мультисистемными изменениями, имеющим высокую долю тяжелобольных.
Никита Сергеевич Матюшков +7 more
doaj +1 more source