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

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

Full description

Bibliographic Details
Published in:	Труды Института системного программирования РАН
Main Authors:	В.А. Захаров, К.С. Иванов
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2006-01-01
Online Access:	https://www.ispras.ru/en/proceedings/isp_11_2006/isp_11_2006_61/

Similar Items

Разработка параллельных Java программ для высокопроизводительных вычислительных систем с распределенной памятью.
by: В.П. Иванников, et al.
Published: (2004-01-01)

Генерация тестовых программ для подсистемы управления памятью микропроцессора
by: Д.Н. Воробьев, et al.
Published: (2009-01-01)

К ПРОБЛЕМЕ ЭКВИВАЛЕНТНОСТИ ПЕРЕВОДА ХУДОЖЕСТВЕННОГО ТЕКСТА
by: Ирина Леонидовна Кравченко
Published: (2012-09-01)

К ПРОБЛЕМЕ ЭКВИВАЛЕНТНОСТИ ПЕРЕВОДА ХУДОЖЕСТВЕННОГО ТЕКСТА
by: Ирина Леонидовна Кравченко
Published: (2012-09-01)

МИНИМИЗАЦИЯ ЗАТРАТ НА ПОСТРОЕНИЕ МОДЕЛЕЙ ПОСЛЕДОВАТЕЛЬНЫХ ПРОГРАММ ПРИ ИХ РАСПРЕДЕЛЕННОЙ РЕАЛИЗАЦИИ
Published: (2018-11-01)

Качественный анализ дробной динамической системы Селькова с переменной памятью с помощью модифицированного алгоритма Тест 0-1
by: Паровик, Р.И.
Published: (2023-12-01)

Шиян Т. О некоторых проблемах интерпретации логико- математической символики
by: Ольга Ляху
Published: (2020-05-01)

К проблеме эквивалентности и толкования терминов аутентичных текстов Договора о правовой помощи по гражданским делам (Мадрид, 1990 г.) на русском и испанском языках
by: Александра Фокина, et al.
Published: (2024-12-01)

О некоторых задачах анализа и трансформации программ.
by: С.С. Гайсарян, et al.
Published: (2004-01-01)

Аномальная диффузия с памятью в теории критичности
by: Шевцов, Б.М., et al.
Published: (2024-11-01)

ЛОГИКО-СЕМАНТИЧЕСКИЙ АНАЛИЗ И РАЗВИТИЕ ПРЕДСТАВЛЕНИЙ Л.С. ВЫГОТСКОГО О «ЕДИНИЦАХ» И «ЭЛЕМЕНТАХ» ПСИХОЛОГИЧЕСКИХ СИСТЕМ
by: БЕСПАЛОВ Б.И.
Published: (2014-03-01)

КОЛЬЦЕВИДНЫЕ КЛЕММЫ С ПАМЯТЬЮ ФОРМЫ ДЛЯ ХИРУРГИЧЕСКОЙ КОНТРАЦЕПЦИИ
Published: (2016-06-01)

Логико-эпистемологические предпосылки развития знания
by: Ярослав Владиславович Шрамко
Published: (2017-11-01)

ЗАЩИТА ИНФОРМАЦИОННЫХ ПРОЦЕССОВ МЕТОДОМ КОНТРОЛЯ ЭКВИВАЛЕНТНОСТИ В ФИКСИРОВАННЫХ КЛАССАХ(ОБ ОДНОМ МЕТОДЕ УСТАНОВЛЕНИЯ ЭКВИВАЛЕНТНОСТИ ИНФОРМАЦИОННЫХ ПРОЦЕССОВ)
by: А. Ю. Сизов
Published: (2009-09-01)

Об особенностях применения методов обфускации программ для информационной защиты микроэлектронных схем.
by: Н.П. Варновский, et al.
Published: (2006-01-01)

О проблеме аутоагрессивного поведения в психоанализе
by: A. B. Sultanov, et al.
Published: (2022-10-01)

Логико-структурные схемы построения теоретической физики
by: K.M. Aryngazin, et al.
Published: (2018-12-01)

СУБЪЕКТНЫЙ СОСТАВ ПРАВООТНОШЕНИЯ (ЛОГИКО-ЯЗЫКОВОЙ ФЕНОМЕН)
by: Н.Е. Коваленко
Published: (2024-12-01)

СТЕПЕНИ ЧИСЛА ПРОСТЫХ ДЕЛИТЕЛЕЙ И ЧИСЛА ДЕЛИТЕЛЕЙ НА ПОСЛЕДОВАТЕЛЬНЫХ ЧИСЛАХ
by: ХРИПУНОВА М.Б.
Published: (2014-07-01)

Использование информации о линейных зависимостях для обнаружения уязвимостей в исходном коде программ.
by: В.С. Несов, et al.
Published: (2006-01-01)

Параллельное программирование в среде Java для систем с распределенной памятью. Объектные модели параллельного выполнения.
by: С.С. Гайсарян, et al.
Published: (2000-01-01)

К вопросу о проблеме человека в исламе
by: Нармина Микаилова
Published: (2019-06-01)

О ПРОБЛЕМЕ ПРАВОСУБЪЕКТНОСТИ СЕМЬИ В ПРЕДПРИНИМАТЕЛЬСКОМ ПРАВЕ
by: Шапсугова Мариетта Дамировна
Published: (2019-04-01)

О проблеме сферы действия международного уголовного права
by: S. М. Apenov
Published: (2016-04-01)

ПАРАЛЛЕЛЬНЫЕ ЛОГИКО-КОМБИНАТОРНЫЕ ВЫЧИСЛЕНИЯ В СРЕДЕ MPI
Published: (2019-01-01)

ПРОГРАММНЫЕ СРЕДСТВА ДЛЯ РЕШЕНИЯ ЛОГИКО-КОМБИНАТОРНЫХ ЗАДАЧ
Published: (2019-01-01)

Исследование дробной динамической системы Селькова
by: Паровик, Р.И.
Published: (2022-12-01)

Мемориальная идентичность: между местом памяти и памятью мест
by: Людмила Зубанова
Published: (2024-08-01)

К ВОПРОСУ О ПРОБЛЕМЕ АРАБСКИХ ТЕРМИНОВ И ТЕРМИНОЛОГИИ
by: А. Мустафаева
Published: (2016-01-01)

К ВОПРОСУ О ПРОБЛЕМЕ АРАБСКИХ ТЕРМИНОВ И ТЕРМИНОЛОГИИ.
by: А. Мустафаева.
Published: (2016-01-01)

Защита программ от дизассемблирования.
by: С.И. Алейников, et al.
Published: (2006-01-01)

Начально-краевая задача с нелокальным граничным условием для нелинейного параболического уравнения с памятью
by: Александр Львович Гладков
Published: (2023-07-01)

СИНТЕЗ ДИНАМИЧЕСКОЙ СТРУКТУРЫ ВЕРОЯТНОСТНЫХ ПРОИЗВОДСТВЕННЫХ СИСТЕМ
Published: (2019-06-01)

Генерация тестовых программ для микропроцессоров.
by: А.С. Камкин
Published: (2008-01-01)

СТРАТЕГИИ ИНФОРМИРОВАНИЯ НАСЕЛЕНИЯ РЕСПУБЛИКИ МОЛДОВА О ПРОБЛЕМЕ ТОРГОВЛИ ЛЮДЬМИ
by: USM ADMIN
Published: (2023-06-01)

Англо-американская политология о проблеме доверия в межгосударственных отношениях
Published: (2010-12-01)

О некоторых проблемах предварительного расследования хищений денежных средств граждан с использованием вредоносных компьютерных программ
by: Д.В. Ким, et al.
Published: (2018-07-01)

Разработка системной поддержки вызова программ, реализованных на языке Fortran, из среды Java.
by: С.С. Гайсарян, et al.
Published: (2006-01-01)

ВВЕДЕНИЕ И ПРИМЕНЕНИЕ ДИНАМИЧЕСКОЙ СОСТАВЛЯЮЩЕЙ ДАТЧИКОВ В СПЕЦИАЛИЗИРОВАННОЙ КОМПЬЮТЕРНОЙ СИСТЕМЕ
by: А. В. Ухина, et al.
Published: (2015-12-01)

О приводимости линейной De-системы с постоянными на диагонали коэффициентами к De-системе с жордановой матрицей в случае эквивалентности ее одному уравнению высшего порядка
by: A.A. Kulzhumiyeva, et al.
Published: (2016-12-01)