Results 41 to 50 of about 133 (115)

Dynamic Java program analysis using virtual machine modification

Труды Института системного программирования РАН, 2018
This article focuses on practical questions of performing program analysis for applications executed using interpreters and virtual machines. Using Dalvik virtual machine in Android operating system as target interpreter layer, we showcase the ...
M. . Ermakov, S. . Vartanov
doaj   +1 more source

Разработка параллельных Java программ для высокопроизводительных вычислительных систем с распределенной памятью.

Труды Института системного программирования РАН, 2004
В работе рассматривается интегрированная среда ParJava, поддер-живающая разработку и сопровождение программ, параллельных по данным. При разработке и модификации параллельной программы необходимо убедиться не только в ее правильности, но также в ее ...
В.П. Иванников, С.С. Гайсарян, А.И. Аветисян, В.В. Бабкова, В.А. Падарян   +4 more
doaj  

Applying synchronization contracts approach for dynamic detection of data races in industrial applications

Труды Института системного программирования РАН, 2018
Data race occurs in multithreaded program when several threads simultaneously access same shared data and at least of them writes. Two main approaches to automatic race detection - static and dynamic - have their pros and cons.
V. Yu. Trifanov
doaj   +1 more source

Пользование сетевыми социальными медиа в турбулентном обществе: случай России 2022―2024 гг.

Мониторинг общественного мнения: экономические и социальные перемены
Статья представляет результаты анализа динамики аудитории сетевых социальных медиа в России с января 2022 г. по сентябрь 2024 г. Работа основана на данных из двух мониторинговых источников: проекта измерения аудитории интернета Cross Web компании ...
Сергей Геннадьевич Давыдов
doaj   +1 more source

Recovery of binary data structures from program traces

Труды Института системного программирования РАН, 2018
In this paper we consider the problem of recovery of binary data formats and describe the format recovery system implemented in ISP RAS.  First, we enumerate general approaches to this problem, their advantages and constraints: static, dynamic and ...
A. I. Avetisyan, A. I. Getman
doaj  

Memory violation detection method in binary code

Труды Института системного программирования РАН, 2018
In this paper memory violation detection method is considered. This method applied to program binaries, without requiring debug information. It allows to find such memory violations as out-of-bound read or writing in some buffer.
V. V. Kaushan, A. Y.U. Mamontov, V. A. Padaryan, A. N. Fedotov   +3 more
doaj   +1 more source

Automatic concurrency defect detection for Android applications

Труды Института системного программирования РАН, 2018
This paper describes issues related to automatic detection of concurrency defects using dynamic analysis methods with primary target subject as the Android platform.
V. P. Ivannikov, S. P. Vartanov, M. K. Ermakov   +2 more
doaj  

Buffer overrun detection method in binary code

Труды Института системного программирования РАН, 2018
Buffer overflows are one of the most common and dangerous software errors. Exploitation of such errors can lead to an arbitrary code execution and system disclosure. This paper considers a method for detecting memory violations.
V. V. Kaushan
doaj   +1 more source

[Immunogenetics of primary hyperaldosteronism: fundamental studies and their clinical prospects]. [PDF]

Probl Endokrinol (Mosk), 2022
Eristavi SK, Platonova NM, Troshina EA.
europepmc   +1 more source

Постдиагенетические преобразования терригенных комплексов в складчатых и платформенных областях: сравнительный анализ

Литосфера, 2019
На основании результатов исследований авторов статьи и литературных данных проведен сравнительный анализ постдиагенетических преобразований терригенных комплексов на платформах и в породных бассейнах, образовавшихся в результате тектонических деформаций ...

doaj