Results 1 to 10 of about 149 (134)
Труды Института системного программирования РАН, 2004 В работе рассматривается интегрированная среда ParJava, поддер-живающая разработку и сопровождение программ, параллельных по данным. При разработке и модификации параллельной программы необходимо убедиться не только в ее правильности, но также в ее ...
В.П. Иванников +4 more
doaj
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 +3 more
doaj +1 more source
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
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 +2 more
doaj
Индекс транспортной доступности как маркетинговый индикатор привлекательности региона
Теория и практика общественного развитияВ статье представлена концепция индекса транспортной доступности (ИТД/ITA) как маркетингового индикатора привлекательности региона. На примере Московской агломерации предложен подход, объединяющий пространственно-временные данные о маятниковых поездках с
Шитова Юлия Юрьевна +1 more
doaj +1 more source
Литосфера, 2019 На основании результатов исследований авторов статьи и литературных данных проведен сравнительный анализ постдиагенетических преобразований терригенных комплексов на платформах и в породных бассейнах, образовавшихся в результате тектонических деформаций ...
doaj
Геология и геофизика Юга России, 2016 В работе рассмотрена проблема сейсмического прогноза и его эффективности. Проведен анализ ситуации при реализации среднесрочного прогноза разрушительного Тбилисского землетрясения 25 апреля 2002 года в Грузии.
П. А. Реквава
doaj
Next generation intermediate representations for binary code analysis
Труды Института системного программирования РАН, 2019 A lot of binary code analysis tools do not work directly with machine instructions, instead relying on an intermediate representation from the binary code.
M. A. Solovev +5 more
doaj +1 more source
Поздние витреоретинальные осложнения ретинопатии недоношенных: диагностика и тактика лечения
Офтальмохирургия, 2018 Цель. Провести анализ частоты, клинических проявлений, информативности методов диагностики и результатов лечения поздних витреоретинальных осложнений при благоприятных исходах РН. Материал и методы. Обследовано 655 пациентов (1267 глаз), из них 999 глаз (
doaj +1 more source