Results 11 to 20 of about 121 (112)

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

Динамический анализ среды функционирования в оценке эффективности научно-исследовательского сектора российских регионов

Балтийский регион, 2023
Анализ среды функционирования является одним из широко распространенных непараметрических методов сравнительной оценки эффективности. Среди многочисленных модификаций метода в последнее время основное внимание исследователей уделяется динамическим ...
Гареев Т. Р. , Пекер И. Ю. , Кузнецова Т. Ю. , Елисеева Н. А.   +3 more
doaj  

Город как пространство динамических и топологических потоков

Проект Байкал
Современное осмысление городского пространства выходит за пределы статичных структур и сетей, предлагая концепцию потоков как альтернативный способ анализа. В исследовании рассматриваются два подхода к пониманию потоков: динамический, вводящий временное
Анна Сахарова
doaj   +1 more source

Methods and software tools for combined binary code analysis

Труды Института системного программирования РАН, 2018
This paper presents methods and tools for binary code analysis that have been developed in ISP RAS and their applications in fields of algorithm and data format recovery.
V. A. Padaryan, A. I. Getman, M. A. Solovyev, M. G. Bakulin, A. I. Borzilov, V. V. Kaushan, I. N. Ledovskich, U. V. Markin, S. S. Panasenko   +8 more
doaj   +1 more source

Applying iterative dynamic analysis to programs with graphical user interface

Труды Института системного программирования РАН, 2018
This paper is dedicated to practical research in the field of automated testing and analysis of software that features a graphical user interface. Current tendencies in user interface development favour semi-automatic approaches that employ human experts
M. K. Ermakov, A. Y. Gerasimov, D. O. Kutz, A. A. Novikov   +3 more
doaj   +1 more source

Dynamic analysis of programs with graphical user interface based on symbolic execution

Труды Института системного программирования РАН, 2018
In this paper, we explore the possibilities of applying dynamic symbolic execution (or concolic testing) methods to applications with graphical user interfaces.
S. P. Vartanov, A. Y. Gerasimov, M. K. Ermakov, D. O. Kutz, A. A. Novikov   +4 more
doaj   +1 more source

ДИНАМИЧЕСКОЕ НАБЛЮДЕНИ ЗА СОСТОЯНИЕМ ЗДОРОВЬЯ СТУДЕНТОВ МЕДИЦИНСКОГО УНИВЕРСИТЕТА ЗА ПЕРИОД 2012-2014 Г.

Sovremennye Issledovaniâ Socialʹnyh Problem, 2015
Проведен динамический анализ по заболеваемости студентов КрасГМУ за 2012-2014 годы. В исследовании принимали участие все студенты «КрасГМУ» с 1-го по 6-ой курсы, прошедшие медицинский осмотр в отделение Общей врачебной практики в период с 2012 по 2014 ...
Ivan Pavlovich Artukhov, Daria Sergeevna Kaskaeva, Marina Mikhaylovna Petrova, Ekaterina Yurevna Krylova, Ekaterina Vyacheslavovna Zorina   +4 more
doaj   +1 more source

Detecting race conditions in Java programs using dynamic analysis

Труды Института системного программирования РАН, 2018
This article presents a dynamic analysis approach to automatic detection of race conditions in multi-threaded Java applications. We use static Java byte-code instrumentation framework Coffee Machine to avoid additional dynamic instrumentation overhead ...
M. . Ermakov, S. . Vartanov
doaj   +1 more source

Изменения в структуре российских домохозяйств в 1994-2013 гг. (статистический анализ)

Демографическое обозрение, 2015
Сравнение семейной структуры населения и состава домохозяйств - важная и актуальная тема исследования. Большинство российских работ основано на использовании материалов переписей населения и выборочных обследований, которые дают одномоментные «срезы ...
Ксения Руслановна Абанокова
doaj   +1 more source

Application of software emulators for the binary code analysis

Труды Института системного программирования РАН, 2018
The article presents the experience of using software emulators as a tool for dynamic analysis of binary code: as a machine instruction tracer, and as a smart interactive debugger.
P. M. Dovgalyuk, V. A. Makarov, M. S. Padaryan, M. S. Romaneev, N. I. Fursova   +4 more
doaj   +1 more source