Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 21 (2011) Динамическое профилирование программы для системы LLVM Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, К. Ю. Курмангалеев, Ш. Ф. Курмангалеев
"... При построении системы компиляции для языков общего назначения, учитывающей специфические ..."
 
Том 28, № 4 (2016) Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник
"... , доступную только во время выполнения запроса. В данной работе рассматривается метод динамической компиляции ..."
 
Том 28, № 6 (2016) Динамическая компиляция SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Р. А. Бучацкий, Е. Ю. Шарыгин, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник, Р. В. Баев
"... использовании механизма интерпретации. Одно из решений - динамическая компиляция запросов. В рамках данной ..."
 
Том 28, № 1 (2016) Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян
"... основном используется многоуровневая динамическая компиляция. В данной работе описываются разработанные ..."
 
Том 29, № 3 (2017) Обзор методов динамической компиляции запросов Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий
"... планов запросов, является компиляция запросов в исполняемый код во время выполнения (динамическая ..."
 
Том 32, № 1 (2020) Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков
"... проверок. Одно из решений — динамическая компиляция запросов, которая оправдана только в том случае, когда ..."
 
Том 27, № 6 (2015) Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян, В. А. Иванишин, С. А. Асрян, А. А. Хачатрян, Дж. А. Акопян
"... В статье предлагаются методы, делающие возможной компиляцию программ на языке JavaScript в ..."
 
Том 30, № 2 (2018) Чистая компиляция как парадигма программирования Аннотация  PDF (Rus)  похожие документы
А. В. Столяров, О. Г. Французов, А. С. Аникина
 
Том 29, № 5 (2017) Обещающая компиляция в ARMv8.3 Аннотация  PDF (Rus)  похожие документы
А. В. Подкопаев, О. Лахав, В. Вафеядис
"... компиляции из этой модели в модель памяти целевой процессорной архитектуры. Данная статья представляет ..."
 
Том 26, № 1 (2014) Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища Аннотация  PDF (Rus)  похожие документы
С. С. Гайсарян, Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, С. С. Саргсян
"... В статье описывается метод двухфазной компиляции программ на языках Си/Си++, позволяющий ..."
 
Том 24 (2013) Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев
"... компиляции, позволяющей распространять такие приложения в промежуточном представлении LLVM [1 ..."
 
Том 26, № 1 (2014) Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин
"... рассматриваются особенности динамических оптимизаций в JIT-компиляторе для языка JavaScript, а также основные ..."
 
Том 27, № 6 (2015) Методы предварительной оптимизации программ на языке JavaScript Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Евгений Шарыгин
"... данной работе предлагается общий подход к предварительной компиляции программ на динамических языках, а ..."
 
Том 31, № 5 (2019) Компиляция модели памяти OCaml в Power Аннотация  PDF (Rus)  похожие документы
Егор Сергеевич Намаконов, Антон Викторович Подкопаев
"... модели на практике необходимо доказать корректность её компиляции в распространённые архитектуры ..."
 
Том 26, № 1 (2014) Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов
"... В статье описываются принципы проведения динамического анализа программ с целью обнаружения в них ..."
 
Том 30, № 3 (2018) Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения Аннотация  PDF (Rus)  похожие документы
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян
"... динамическом анализе. Для каждого пути выполнения программы предлагаемый метод проверяет корректность операций ..."
 
Том 29, № 1 (2017) Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов
"... . Профилирование работы программ с динамической оперативной памятью, символьное исполнение программ с графическим ..."
 
Том 21 (2011) Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты Аннотация  PDF (Rus)  похожие документы
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков
"... динамического анализа и тестирования приложений, получающих входные данные через сокеты. Вводится концепция ..."
 
Том 31, № 5 (2019) Повышение эффективность фаззинга с помощью интервальных мутаций Аннотация  похожие документы
Севак Сеникович Саргсян, Дживан Андраникович Акопян, Оганес Мушегович Мовсисян, Матевос Саргисович Меграбян, Ваагн Телемакович Сирунян, Шамиль Фаимович Курмангалеев
 
Том 27, № 1 (2015) Применение статической инструментации байт-кода языка Java для динамического анализа программ Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, М. К. Ермаков
"... В статье рассматривается задача проведения динамического анализа программ на языке Java при ..."
 
Том 28, № 6 (2016) О некоторых ограничениях полносистемного анализа помеченных данных « Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев
 
Том 29, № 5 (2017) Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения Аннотация  PDF (Rus)  похожие документы
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов
"... Среди методов анализа программ на наличие дефектов выделяют методы статического и динамического ..."
 
Том 26, № 1 (2014) Применение программных эмуляторов в задачах анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова
"... В статье приводится опыт применения программных эмуляторов в качестве средства динамического ..."
 
Том 28, № 5 (2016) Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа Аннотация  PDF (Rus)  похожие документы
А. Ю. Герасимов, Л. В. Круглов
"... Динамическое символьное исполнение - это хорошо известная техника, применяемая для решения ..."
 
Том 27, № 6 (2015) Использование ABI для интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев
 
Том 24 (2013) Автоматический поиск ошибок синхронизации в приложениях на платформе Android Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, С. П. Вартанов, М. К. Ермаков
"... динамического анализа приложений в рамках платформы Android. Приводится теоретический обзор существующих методов ..."
 
Том 23 (2012) Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода Аннотация  PDF (Rus)  похожие документы
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева
 
Том 23 (2012) Повышение уровня представления трасс выполнения программ Аннотация  PDF (Rus)  похожие документы
А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров
"... Использование динамического анализа для понимания поведения программы является распространенной ..."
 
Том 22 (2012) Задача локального распределения регистров во время динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
Кирилл Батузов
"... QEMU - эмулятор аппаратного обеспечения, использующий динамическую двоичную трансляцию в своей ..."
 
Том 22 (2012) Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
"... В статье описывается метод двухэтапной компиляции программ на языках общего назначения (Си/Си ..."
 
Том 27, № 2 (2015) Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
"... использования динамической памяти при выполнении приложений операционной системы Android на виртуальной машине ..."
 
Том 27, № 2 (2015) Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
"... при помощи динамического анализа. Преимущества динамического анализа заключаются в отсутствии ложных ..."
 
Том 20 (2011) Оптимизация динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
Кирилл Батузов, Алексей Меркулов
"... производится во время выполнения программы, то она называется динамической двоичной трансляцией. В данной ..."
 
Том 31, № 3 (2019) Моделирование нелинейной системы стабилизации на кластерах с сопроцессорами Intel Xeon Phi Аннотация  похожие документы
Дмитрий Вадимович Мельничук
"... . Для задач моделирования комбинированных динамических систем (КДС) типичен значительный ресурс ..."
 
Том 30, № 3 (2018) Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах Аннотация  PDF (Rus)  похожие документы
В. Ю. Трифанов
"... анализ программы (без её запуска) и динамическое обнаружение гонок в процессе работы программы. Ранее ..."
 
Том 28, № 5 (2016) Задача глобального распределения регистров во время динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
К. А. Батузов
"... данной статье исследуется задача распределения регистров во время динамической двоичной трансляции. Так ..."
 
Том 26, № 3 (2014) Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, В. В. Каушан, А. Н. Федотов
"... . Метод, на основе динамического анализа и символьное выполнения, применяется к бинарным файлам программ ..."
 
Том 29, № 1 (2017) Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков
"... динамического анализа программ, предоставляющих графический пользовательский интерфейс. Среди существующих ..."
 
Том 29, № 1 (2017) Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков
"... Данная статья посвящена исследованию возможностей применения современных методов динамического ..."
 
Том 26, № 1 (2014) Методы и программные средства, поддерживающие комбинированный анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко
 
1 - 40 из 67 результатов 1 2 > >> 

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

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