Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 1 (2014) Архитектура и особенности реализации платформы UniHUB в модели облачных вычислений на базе открытого пакета OpenStack Аннотация  PDF (Rus)  похожие документы
О. И. Самоваров, С. С. Гайсарян
"... поддерживает проведение научных исследований с использованием методов математического моделирования ..."
 
Том 29, № 6 (2017) Построение предикатов безопасности для некоторых типов программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев
"... В статье рассматриваются подходы и способы выполнения кода с использованием уязвимостей в ..."
 
Том 29, № 6 (2017) Мелкогранулярная рандомизация адресного пространства программы при запуске Аннотация  PDF (Rus)  похожие документы
А. Р. Нурмухаметов, Е. А. Жаботинский, Ш. Ф. Курмангалеев, С. С. Гайсарян, А. В. Вишняков
"... является развитие методов противодействия их эксплуатации. Она приобретает особую актуальность с развитием ..."
 
Том 30, № 3 (2018) Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения Аннотация  PDF (Rus)  похожие документы
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян
"... символьное исполнение программы с применением решателей SMT (Satisfiability Modulo Theories) [12]. Это ..."
 
Том 21 (2011) Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, М. С. Акопян, С. С. Гайсарян
"... SPMD программ с явным обменом сообщениями, написанных на языке Java с обращениями к библиотеке MPI, и ..."
 
Том 24 (2013) Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, А. О. Кудрявцев, С. С. Гайсарян
"... производительности, связанные с задержками в сети. В данной работе рассматривается подход к планированию, основанный ..."
 
Том 26, № 1 (2014) Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища Аннотация  PDF (Rus)  похожие документы
С. С. Гайсарян, Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, С. С. Саргсян
"... распространять приложения в промежуточном представлении LLVM. Описывается модификация компонентов LLVM с целью ..."
 
Том 26, № 3 (2014) Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения Аннотация  PDF (Rus)  похожие документы
А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, В. В. Каушан, С. С. Гайсарян
"... значительное количество уязвимостей, используя которые злоумышленник может с помощью специально подготовленных ..."
 
Том 30, № 5 (2018) Метод анализа атак повторного использования кода Аннотация  PDF (Rus)  похожие документы
А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян
"... возвратно-ориентированном программировании (ROP), приобретают всю большую популярность с каждым годом и ..."
 
Том 23 (2012) Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода Аннотация  PDF (Rus)  похожие документы
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева
 
Том 28, № 2 (2016) Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде Аннотация  похожие документы
М. С. Малеванный, С. С. Михалкович
"... фрагмент в коде. Эти контексты позволяют в рамках одной модели работать с кодом на различных языках, как ..."
 
Том 28, № 4 (2016) Генерация функциональных тестов для HDL-описаний на основе проверки моделей Аннотация  похожие документы
М. С. Лебедев, С. А. Смолов
"... основе проверки моделей и результаты его сравнения с существующими решениями. В методе используется ..."
 
Том 28, № 4 (2016) Проверка параметризованных Promela-моделей протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков, А. С. Камкин
"... шаге полученная абстрактная модель верифицируется с помощью инструмента Spin обычным образом. Помимо ..."
 
Том 29, № 4 (2017) Статическая верификация конфигураций ядра Linux Аннотация  похожие документы
С. В. Козин, В. С. Мутилин
"... связи уже существующих программах для проверки кода и конфигурационного файла с метрикой покрытия. Такой ..."
 
Том 29, № 5 (2017) Моделирование программно-аппаратных систем и анализ их безопасности Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов, С. А. Зеленова
 
Том 29, № 6 (2017) Критерий существования бесконфликтного расписания для системы строго периодических задач Аннотация  PDF (Rus)  похожие документы
С. А. Зеленова, С. В. Зеленов
"... . При планировании строго периодических задач с прерываниями наиболее трудным этапом является выбор ..."
 
Том 30, № 4 (2018) Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение Аннотация  похожие документы
А. В. Головешкин, С. С. Михалкович
"... безопасной для использования и менее ограничительной по сравнению с ближайшими аналогами в генераторах Coco/R ..."
 
Том 28, № 2 (2016) Подход к обнаружению анти-паттернов в сервис-ориентированных системах Аннотация  похожие документы
А. С. Югов
"... любые другие программные системы, развиваются с течением времени, независимо от того, какими были ..."
 
Том 30, № 3 (2018) Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR Аннотация  похожие документы
С. Л. Лесовой
"... подход позволяет избежать построения новой системы с нуля. Для создания архитектурных моделей могут ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... для решения многих задач, связанных с процессом проектирования и обеспечения качества программных и ..."
 
Том 27, № 1 (2015) Объектные модели ODMG и SQL десять лет спустя: нет противоречий Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... различий являются фоннеймановское разыменование объектных идентификаторов в модели ODMG по сравнению с ..."
 
Том 29, № 4 (2017) Методика параметризованной верификации протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков
"... когерентности памяти системы Эльбрус-4С. Результирующие формальные модели отражают представление протоколов ..."
 
Том 29, № 4 (2017) Программа для мониторинга общественных настроений в России на основе сообщений из Twitter Аннотация  похожие документы
С. И. Сметанин
"... проанализированы и использованы для оценки общего состояния большой популяции пользователей с целью решения научных ..."
 
Том 29, № 1 (2017) Обзор состояния области потоковой обработки данных Аннотация  PDF (Rus)  похожие документы
Р. С. Самарев
"... потоковой обработки данных. Уделяется внимание архитектурным аспектам фреймворков, а также связанными с ними ..."
 
Том 29, № 2 (2017) Управление данными: 25 лет прогнозов Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
 
Том 30, № 1 (2018) Математическое моделирование эволюции завихренности при пространственном обтекании тел методом вихревых петель Аннотация  PDF (Rus)  похожие документы
С. А. Дергачев
"... Моделирование гидродинамических явлений, связанных с обтеканием подвижных деформируемых тел ..."
 
Том 30, № 1 (2018) Методы анализа вредоносного программного обеспечения под ОС Android Аннотация  похожие документы
С. М. Старолетов
"... В статье рассматривается проблема анализа приложений под ОС Андроид с целью выявления вредоносного ..."
 
Том 30, № 3 (2018) Нотация криптографической стековой машины версии один Аннотация  похожие документы
С. Е. Прокопьев
"... исполняемый код, совместимый с существующими программными реализациями протоколов, а также функции конвертации ..."
 
Том 28, № 2 (2016) Верификация преобразования грамматики в нормальную форму Хомского в F Аннотация  похожие документы
М. И. Полубелова, С. Н. Божко, С. В. Григорьев
"... других алгоритмов для работы с грамматиками. В данной статье рассматривается верификация реализации ..."
 
Том 28, № 6 (2016) Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций Аннотация  PDF (Rus)  похожие документы
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов
 
Том 29, № 1 (2017) Тестирование возможностей открытого кода BEM++ по решению задач акустики Аннотация  PDF (Rus)  похожие документы
П. С. Лукашин, С. В. Стрижак, Г. А. Щеглов
"... двойного слоя и др.), и программировать с использованием библиотек языка Python решение различных МГЭ-задач ..."
 
Том 27, № 3 (2015) Проблемы обобщений C# и способы их решения с помощью концептов Аннотация  PDF (Rus)  похожие документы
Ю. В. Белякова, С. С. Михалкович
"... По сравнению с классами типов Haskell и концептами C++ такие объектно-ориентированные языки как C ..."
 
Том 28, № 6 (2016) Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа Аннотация  PDF (Rus)  похожие документы
Ю. С. Трофимович, И. С. Козлов, Д. Ю. Турдаков
"... обучения с учителем. Приведены результаты экспериментов и сравнение с референсными подходами. Показано, что ..."
 
Том 28, № 2 (2016) Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS Аннотация  похожие документы
С. Тул, П. Г. Ларсен
"... физические объекты и взаимодействующие с ними. Анализ процессов в таких системах является сложной задачей из ..."
 
Том 26, № 4 (2014) Предисловие  PDF (Rus)  похожие документы
С. Д. Кузнецов
 
Том 26, № 6 (2014) Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов Аннотация  PDF (Rus)  похожие документы
М. С. Форостьянова
 
Том 27, № 6 (2015) Динамическая оптимизация нагрузки на вычислительных узлах частных, публичных и гибридных облаков Аннотация  PDF (Rus)  похожие документы
А. С. Чадин
"... анализа загруженности вычислительных узлов и последующей миграции виртуальных машин с загруженных узлов на ..."
 
Том 20 (2011) Использование префиксного дерева для хранения и поиска строк во внешней памяти Аннотация  PDF (Rus)  похожие документы
И. С. Таранов
"... . Мы также сравниваем нашу реализацию с существующей реализацией B-дерева. В работе показано, что в ..."
 
1 - 38 из 205 результатов 1 2 3 4 5 6 > >> 

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

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