Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 27, № 6 (2015) Спектрально-аналитический метод распознавания неточных повторов в символьных последовательностях Аннотация  PDF (Rus)  похожие документы
А. Н. Панкратов, Р. К. Тетуев, М. И. Пятков, В. П. Тойгильдин, Н. Н. Попова
"... распознавания повторов в символьных последовательностях. Теоретическое обоснование основывается на теореме об ..."
 
Том 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)  похожие документы
В. П. Иванников
 
Том 18 (2010) Предисловие  PDF (Rus)  похожие документы
В. П. Иванников
 
Том 26, № 1 (2014) Предисловие  PDF (Rus)  похожие документы
В. П. Иванников
 
Том 28, № 3 (2016) Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования Аннотация  похожие документы
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин
"... В данной статье рассмотрен подход детализации верифицированных тестовых сценариев для ..."
 
Том 28, № 6 (2016) Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций Аннотация  PDF (Rus)  похожие документы
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов
"... В статье представлен конфигурируемый метод для поиска состояний гонок. Метод позволяет настраивать ..."
 
Том 30, № 3 (2018) Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU Аннотация  похожие документы
А. В. Иванов, П. М. Довгалюк, В. А. Макаров
"... при разработке анализатора программ с использованием системных вызовов. В статье рассматривается ..."
 
Том 29, № 1 (2017) Тестирование возможностей открытого кода BEM++ по решению задач акустики Аннотация  PDF (Rus)  похожие документы
П. С. Лукашин, С. В. Стрижак, Г. А. Щеглов
"... решению задач акустики в области средних и высоких частот. Пакет BEM++, аналогично пакету OpenFOAM ..."
 
Том 29, № 3 (2017) Эксперименты по построению параллельной композиции временных автоматов Аннотация  похожие документы
А. П. Сотников, Н. В. Шабалдина, М. Л. Громов
"... В данной работе мы продолжаем наши исследования параллельной композиции временных конечных ..."
 
Том 27, № 6 (2015) Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев Аннотация  PDF (Rus)  похожие документы
Л. В. Иваничкина, А. П. Непорада
"... В настоящей работе рассматривается подход к расчёту надёжности хранилища данных, учитывающий как ..."
 
Том 22 (2012) Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, Д. В. Сидоров
"... В статье предложена оптимизация алгоритма проверки выполнимости булевых формул DPLL (Davis - Putnam ..."
 
Том 27, № 3 (2015) Подход к верификации модуля прямого доступа к памяти Аннотация  PDF (Rus)  похожие документы
В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов
"... В статье описан метод верификации подсистемы прямого доступа к памяти, примененный к семейству ..."
 
Том 27, № 4 (2015) Модель представления данных при проведении глубокого анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов
"... В статье предложена объектная модель представления данных при проведении глубокого анализа сетевого ..."
 
Том 24 (2013) Автоматический поиск ошибок синхронизации в приложениях на платформе Android Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, С. П. Вартанов, М. К. Ермаков
"... В данной статье рассматривается задача автоматического поиска ошибок синхронизации при проведении ..."
 
Том 29, № 6 (2017) Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО Аннотация  PDF (Rus)  похожие документы
П. С. Лукашин, В. Г. Мельникова, С. В. Стрижак, Г. А. Щеглов
"... В связи с развитием ветроэнергетики и строительством новых ветропарков в РФ возникает потребность в ..."
 
Том 22 (2012) Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU Аннотация  PDF (Rus)  похожие документы
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян
"... В работе представлены два подхода к реализации полносистемного детерминированного воспроизведения в ..."
 
Том 29, № 5 (2017) Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения Аннотация  PDF (Rus)  похожие документы
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов
"... анализа. В данной статье мы предлагаем комбинированный подход, заключающийся в применении динамического ..."
 
Том 26, № 2 (2014) Внесение неисправностей в программу с использованием детерминированного воспроизведения Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, Ю. В. Маркин
"... В данной работе представлен подход к внесению неисправностей в программу, использующий механизм ..."
 
Том 27, № 5 (2015) Метод легковесного статического анализа для поиска состояний гонок Аннотация  PDF (Rus)  похожие документы
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов
"... В этой статье представлен подход легковесного статического анализа к поиску состояний гонок ..."
 
Том 24 (2013) Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов
"... к поведения программных или аппаратных компонентов. В статье описываются наиболее значимые ..."
 
Том 23 (2012) Построение обфусцирующего компилятора на основе инфраструктуры LLVM Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, В. П. Корчагин, В. В. Савченко, С. С. Саргсян
"... В статье описываются маскирующие преобразования, реализованные в ходе разработки обфусцирующего ..."
 
Том 28, № 6 (2016) О некоторых ограничениях полносистемного анализа помеченных данных « Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев
"... кода, но все попытки наталкивались на ряд нерешенных вопросов. В данной работе рассматриваются ..."
 
Том 23 (2012) Описание подхода к разработке обфусцирующего компилятора Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, В. П. Корчагин, Р. А. Матевосян
"... В данной статье приводится обзор запутывающих преобразований программ, сформулированы критерии ..."
 
Том 30, № 5 (2018) Отслеживание операций с файловой системой ext3 в эмуляторе QEMU Аннотация  PDF (Rus)  похожие документы
В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев
"... В работе рассматривается подход к отслеживанию файловых операций с помощью перехвата запросов к ..."
 
Том 28, № 3 (2016) Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики Аннотация  PDF (Rus)  похожие документы
Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов
"... В данной работе рассмотрена аппаратная реализация расчета деполимеризации белковой микротрубочки ..."
 
Том 26, № 3 (2014) Современное состояние исследований в области обфускации программ: определения стойкости обфускации Аннотация  PDF (Rus)  похожие документы
Н. П. Варновский, В. А. Захаров, Н. Н. Кузюрин, А. В. Шокуров
"... препятствующую извлечению из текста программы определенной секретной информации, содержащейся в ней. Поскольку ..."
 
Том 26, № 2 (2014) Методы пороговой криптографии для защиты облачных вычислений Аннотация  PDF (Rus)  похожие документы
Н. П. Варновский, С. А. Мартишин, М. В. Храпченко, А. В. Шокуров
"... Защита информации в облачных вычислениях активно исследуется мировым научным сообществом. Эти ..."
 
Том 28, № 3 (2016) Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений Аннотация  похожие документы
П. П. Олейник, С. М. Салибекян
"... В статье приводится описание двух методик разграничения прав доступа, основанных ролевом подходе ..."
 
Том 29, № 3 (2017) О проблеме представления формальной модели политики безопасности операционных систем Аннотация  PDF (Rus)  похожие документы
П. Н. Девянин
"... В связи с начавшимся процессом внедрения ФСТЭК России «Требований безопасности информации к ..."
 
Том 30, № 4 (2018) Совмещение ACSL спецификаций с машинным кодом Аннотация  похожие документы
П. А. Путро
"... спецификаций пред- и постусловий с моделью поведения машинного кода. В данной статье представлен подход к ..."
 
Том 23 (2012) Повышение уровня представления трасс выполнения программ Аннотация  PDF (Rus)  похожие документы
А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров
"... практикой в наши дни. Одним из видов динамического анализа является анализ трасс выполнения программ. В то ..."
 
Том 26, № 3 (2014) Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования Аннотация  PDF (Rus)  похожие документы
М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов
"... моделирования в различных прикладных и фундаментальных областях. Она предоставляет возможности подготовки ..."
 
Том 24 (2013) О методах деобфускации программ Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин
"... . Потребность в подобного рода продуктах возникла в связи с ростом популярности методик запутывания кода для ..."
 
Том 20 (2011) Архитектура Linux Driver Verification Аннотация  PDF (Rus)  похожие документы
В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед
"... В настоящей статье исследуются требования к построению архитектуры открытой системы верификации ..."
 
Том 26, № 1 (2014) Применение программных эмуляторов в задачах анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова
"... В статье приводится опыт применения программных эмуляторов в качестве средства динамического ..."
 
Том 28, № 2 (2016) Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS Аннотация  похожие документы
С. Тул, П. Г. Ларсен
"... Кибер-физические системы часто включают в себя управляющие кибер-элементы, контролирующие ..."
 
Том 26, № 4 (2014) Сортировать или нет: экспериментальное сравнение R-Tree и B+-Tree в транзакционной системе для упорядоченной выдачи Аннотация  PDF (Rus)  похожие документы
П. В. Федотовский, Г. А. Ерохин, К. Е. Чередник, К. К. Смирнов, Г. А. Чернышев
"... В данной работе мы изучаем задачу многомерного индексирования с учетом дополнительного требования ..."
 
Том 24 (2013) Разработка и реализация облачной системы для решения высокопроизводительных задач Аннотация  PDF (Rus)  похожие документы
А. О. Кудрявцев, В. К. Кошелев, А. О. Избышев, И. А. Дудина, Ш. Ф. Курмангалеев, А. И. Аветисян, В. П. Иванников, В. Е. Велихов, Е. А. Рябинкин
"... В данной работе описаны основные проблемы, возникающие при переносе высокопроизводительных ..."
 
1 - 44 из 334 результатов 1 2 3 4 5 6 7 8 > >> 

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

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