Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 30, № 3 (2018) Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu Аннотация  похожие документы
М. А. Абакумов, П. М. Довгалюк
 
Том 30, № 3 (2018) Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU Аннотация  похожие документы
А. В. Иванов, П. М. Довгалюк, В. А. Макаров
 
Том 27, № 2 (2015) Методы повышения производительности обратной отладки Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, П. М. Довгалюк
 
Том 26, № 2 (2014) Внесение неисправностей в программу с использованием детерминированного воспроизведения Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, Ю. В. Маркин
 
Том 28, № 6 (2016) О некоторых ограничениях полносистемного анализа помеченных данных « Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев
 
Том 18 (2010) Создание модулей поддержки архитектур для среды TrEx с помощью специализированного языка описания процессоров Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, М. А. Климушенкова, А. М. Мухина
 
Том 30, № 5 (2018) Отслеживание операций с файловой системой ext3 в эмуляторе QMU Аннотация  PDF (Rus)  похожие документы
В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев
 
Том 27, № 6 (2015) Использование ABI для интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев
 
Том 23 (2012) Повышение уровня представления трасс выполнения программ Аннотация  PDF (Rus)  похожие документы
А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров
 
Том 26, № 1 (2014) Применение программных эмуляторов в задачах анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова
 
Том 22 (2012) Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU Аннотация  PDF (Rus)  похожие документы
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян
 
Том 28, № 5 (2016) Когда защита стека в компиляторах не срабатывает? Аннотация  похожие документы
Павел Довгалюк, Владимир Макаров
 
Том 21 (2011) Детерминированное воспроизведение процесса выполнения программ в виртуальной машине Аннотация  PDF (Rus)  похожие документы
Павел Довгалюк
 
Том 31, № 5 (2019) Интроспекция конфигурации периферийных устройств эмулятора QEMU Аннотация  PDF (Rus)  похожие документы
Наталья Игоревна Фурсова, Павел Михайлович Довгалюк
 
Том 28, № 3 (2016) Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений Аннотация  похожие документы
П. П. Олейник, С. М. Салибекян
 
Том 27, № 1 (2015) Применение статической инструментации байт-кода языка Java для динамического анализа программ Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, М. К. Ермаков
 
Том 27, № 1 (2015) Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
 
Том 30, № 5 (2018) Численное моделирование двухфазных течений через существенно гетерогенную пористую среду схемой квазихарактеристик высокого порядка Аннотация  PDF (Rus)  похожие документы
М. П. Левин
 
Том 29, № 1 (2017) Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов
 
Том 29, № 3 (2017) Эксперименты по построению параллельной композиции временных автоматов Аннотация  похожие документы
А. П. Сотников, Н. В. Шабалдина, М. Л. Громов
 
Том 27, № 2 (2015) Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
 
Том 27, № 2 (2015) Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
 
Том 27, № 3 (2015) Подход к верификации модуля прямого доступа к памяти Аннотация  PDF (Rus)  похожие документы
В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов
 
Том 24 (2013) Автоматический поиск ошибок синхронизации в приложениях на платформе Android Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, С. П. Вартанов, М. К. Ермаков
 
Том 29, № 5 (2017) Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения Аннотация  PDF (Rus)  похожие документы
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов
 
Том 29, № 1 (2017) Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков
 
Том 26, № 3 (2014) Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования Аннотация  PDF (Rus)  похожие документы
М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов
 
Том 26, № 2 (2014) Применение информационных технологий (генетические алгоритмы, нейронные сети, параллельные вычисления) в анализе безопасности АЭС Аннотация  PDF (Rus)  похожие документы
Ю. Б. Воробьев, П. Кудинов, М. Ельцов, К. Кёоп, К. Н. Чыонг Ван
 
Том 26, № 2 (2014) Методы пороговой криптографии для защиты облачных вычислений Аннотация  PDF (Rus)  похожие документы
Н. П. Варновский, С. А. Мартишин, М. В. Храпченко, А. В. Шокуров
 
Том 29, № 3 (2017) О проблеме представления формальной модели политики безопасности операционных систем Аннотация  PDF (Rus)  похожие документы
П. Н. Девянин
 
Том 30, № 4 (2018) Совмещение ACSL спецификаций с машинным кодом Аннотация  похожие документы
П. А. Путро
 
Том 27, № 6 (2015) Предисловие  PDF (Rus)  похожие документы
В. П. Иванников
 
Том 25 (2013) Предисловие  PDF (Rus)  похожие документы
В. П. Иванников
 
Том 24 (2013) Предисловие  PDF (Rus)  похожие документы
В. П. Иванников
 
Том 23 (2012) Предисловие  PDF (Rus)  похожие документы
В. П. Иванников
 
Том 22 (2012) Предисловие Аннотация  PDF (Rus)  похожие документы
В. П. Иванников
 
Том 20 (2011) Предислоаие  PDF (Rus)  похожие документы
В. П. Иванников
 
Том 19 (2010) Предисловие  PDF (Rus)  похожие документы
В. П. Иванников
 
1 - 38 из 178 результатов 1 2 3 4 5 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)