Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 4 (2017) Cтохастические методы анализа комплексных программно-аппаратных систем Аннотация  похожие документы
А. А. Карнов, С. В. Зеленов
"... В данной работе рассматривается марковский анализ моделей комплексных программно-аппаратных систем ..."
 
Том 29, № 5 (2017) Моделирование программно-аппаратных систем и анализ их безопасности Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов, С. А. Зеленова
"... В данной статье демонстрируется целесообразность применения языка моделирования программно ..."
 
Том 27, № 6 (2015) Распределенные системы хранения данных: анализ, классификация и варианты выбора Аннотация  PDF (Rus)  похожие документы
Александр Тормасов, Анатолий Лысов, Эмиль Мазур
"... классифицировать системы на основе разных параметров, в частности, при наличии или отсутствии специфических функций ..."
 
Том 32, № 4 (2020) Методика выявления центров компетенций авиационной науки на основе публикационной и патентной активности Аннотация  PDF (Rus)  похожие документы
Виктор Геннадьевич БЕЛЕНКОВ, Владимир Игоревич БУДЗКО, Дмитрий Алексеевич ДЕВЯТКИН, Анна Владимировна КАН, Иван Сергеевич МИХАЙЛИН, Илья Владимирович СОЧЕНКОВ, Илья Александрович ТИХОМИРОВ, Василий Сергеевич ШАПКИН
"... разрабатываемой экспертной информационной системы по поиску, анализу и учету знаний в авиастроении. ..."
 
Том 32, № 2 (2020) Исследование технологии RISC-V Аннотация  PDF (Rus)  похожие документы
Владимир Александрович ФРОЛОВ, Владимир Александрович ГАЛАКТИОНОВ, Вадим Владимирович САНЖАРОВ
"... Система команд – это стержень, вокруг которого строится весь остальной процессор. Ошибки или ..."
 
Том 30, № 4 (2018) Применение ассоциативно-семантического препроцессора в интерактивных диалоговых системах на естественном языке Аннотация  PDF (Rus)  похожие документы
В. Е. Сачков
"... обработки текста на естественном языке в диалоговых системах. Применение в препроцессоре ассоциаций ..."
 
Том 29, № 5 (2017) Техника плоских схем для тестирования встроенных операционных систем Аннотация  похожие документы
В. В. Никифоров, С. Н. Баранов
"... под управлением встроенной операционной системы реального времени (ОС). Надежность ОС чрезвычайно ..."
 
Том 29, № 4 (2017) Отладчик для операционной системы реального времени: проблемы мультиплатформенности Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... системы реального времени JetOS, созданной для гражданских авиационных систем. Она предназначена для ..."
 
Том 27, № 5 (2015) Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, Н. Н. Кузюрин
"... Разработанная в ИСП РАН программная система Unihub является облачной вычислительной системой типа ..."
 
Том 29, № 2 (2017) Развитие ядра операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... Существующие исследования, которые посвящены анализу развития ядра операционной системы Linux ..."
 
Том 30, № 4 (2018) Библиотека программирования гетерогенных архитектур Аннотация  похожие документы
Г. В. Киргизов, Я. А. Кириленко
"... Встраиваемые системы с гетерогенной архитектурой, рассматриваемые в данной работе, состоят из ..."
 
Том 32, № 2 (2020) Тестовое окружение для верификации многопроцессорной системы прерываний с поддержкой виртуализации Аннотация  похожие документы
Дмитрий Алексеевич ЛЕБЕДЕВ, Виталий Николаевич КУЦЕВОЛ
"... Система прерываний является важной частью микропроцессоров. Прерывания широко используются для ..."
 
Том 22 (2012) Системы рекомендаций: обзор современных подходов Аннотация  PDF (Rus)  похожие документы
А. Г. Гомзин, А. В. Коршунов
"... Статья представляет собой обзор основных алгоритмов, использующихся в системах рекомендаций ..."
 
Том 31, № 1 (2019) Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна Лаврищева, Вадим Сергеевич Мутилин, Святослав Владимирович Козин, Андрей Геннадьевич Рыжов
 
Том 29, № 4 (2017) Использование модульного подхода во встраиваемых операционных системах Аннотация  похожие документы
К. А. Маллачиев, Н. В. Пакулин, А. В. Хорошилов, Д. В. Буздалов
"... Современные операционные системы для встроенных систем могут использоваться для решения задач ..."
 
Том 30, № 1 (2018) Принципы построения системы обеспечения жизненного цикла ответственных систем Аннотация  похожие документы
Б. А. Позин
"... цикле ответственных систем. Этот комплекс получил название система обеспечения жизненного цикла (СОЖЦ ..."
 
Том 25 (2013) Моделирование окружения драйверов устройств операционной системы Linux Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов
"... При статической верификации драйверов устройств операционной системы Linux необходимо учитывать ..."
 
Том 29, № 6 (2017) Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, Е. М. Новиков
"... систем. Данный метод был реализован в системе статической верификации Klever и применен для проверки ..."
 
Том 29, № 2 (2017) Возможности статической верификации монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
 
Том 28, № 2 (2016) Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем Аннотация  PDF (Rus)  похожие документы
И. И. Чукляев
"... перспективных средств защиты информационно-управляющих систем, ориентированных на комплексную защиту выполнения ..."
 
Том 28, № 6 (2016) Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций Аннотация  PDF (Rus)  похожие документы
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов
"... апробирован на модулях ядра операционной системы Linux, что позволило обнаружить несколько состояний гонок ..."
 
Том 30, № 3 (2018) Статический анализ зависимостей для семантической валидации данных Аннотация  похожие документы
Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов
"... Современные информационные системы манипулируют моделями данных, содержащими миллионы объектов, и ..."
 
Том 24 (2013) Автоматизация регрессионного тестирования при помощи анализа трасс событий Аннотация  PDF (Rus)  похожие документы
Владимир Федотов
"... инструментированной распределенной системе. Подразумевается, что система инструментирована таким образом, что ..."
 
Том 21 (2011) Оценка Производительности Протокола Реализации Snapshot Isolation Аннотация  PDF (Rus)  похожие документы
Д. Н. Василик
"... Уровень изоляции Snapshot Isolation (SI) широко используется в коммерческих системах баз данных. Мы ..."
 
Том 21 (2011) Эвристическое моделирование данных в информационных системах Аннотация  PDF (Rus)  похожие документы
Мартин Давтян
"... хранимых данных. Предполагается, что такие системы будут удобны в использовании, так как формализация ..."
 
Том 30, № 5 (2018) Отслеживание операций с файловой системой ext3 в эмуляторе QMU Аннотация  PDF (Rus)  похожие документы
В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев
"... гостевой ОС, однако требует отдельной реализации для каждой файловой системы. Важной проблемой для ..."
 
Том 31, № 1 (2019) Определение ограничений облачной платформы на миграцию ресурсов Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич Чадин, Григорий Андреевич Бизюкин
"... ресурсами, их логические и физические ограничения в системе OpenStack. Для живой миграции рассмотрены такие ..."
 
Том 31, № 3 (2019) Моделирование нелинейной системы стабилизации на кластерах с сопроцессорами Intel Xeon Phi Аннотация  похожие документы
Дмитрий Вадимович Мельничук
"... В настоящее время широкое распространение получают кластерные системы, в узлах которых ..."
 
Том 32, № 1 (2020) Модель мандатного контроля целостности в операционной системе KasperskyOS Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Буренков, Дмитрий Александрович Кулагин
"... Существующие модели мандатного контроля целостности в операционных системах накладывают ..."
 
Том 29, № 4 (2017) Инструмент для анализа поведения вполне структурированных систем переходов Аннотация  похожие документы
Л. В. Дворянский, В. Е. Михайлов
"... Вполне структурированные системы переходов являются хорошо известным инструментом для ..."
 
Том 29, № 6 (2017) Критерий существования бесконфликтного расписания для системы строго периодических задач Аннотация  PDF (Rus)  похожие документы
С. А. Зеленова, С. В. Зеленов
"... В критических системах выполнение жестких требований по времени взаимодействия между задачами ..."
 
Том 29, № 4 (2017) Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов Аннотация  похожие документы
Р. А. Нестеров, И. А. Ломазова
"... позволяют восстановить модели реального поведения агентов из журнала событий системы. Однако в случае ..."
 
Том 30, № 5 (2018) Информатика: становление программного обеспечения и технологий программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
 
Том 32, № 1 (2020) Система визуализации для авиационной ОС реального времени JetOS Аннотация  PDF (Rus)  похожие документы
Борис Хаимович Барладян, Лев Залманович Шапиро, Курбанмагомед Абдурагимович Маллачиев, Алексей Владимирович Хорошилов, Юрий Алексеевич Солоделов, Алексей Геннадьевич Волобой, Владимир Александрович Галактионов, Игорь Викторович Ковернинский
"... , и к процессу разработки системы. Данная работа посвящена специфике использования многоядерных ..."
 
Том 28, № 1 (2016) Тестирование системы автоматов с буферизацией сообщений Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... автоматами, а взаимодействие между ними - обменом сообщениями по симплексным каналам связи. Система ..."
 
Том 28, № 1 (2016) Система автоматов: композиция по графу связей Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Статья посвящена проблеме моделирования и композиции составных систем. Компоненты системы ..."
 
Том 28, № 2 (2016) Разработка отладчика для операционной системы реального времени Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... В этой статье мы расскажем о проекте по разработке отладчика для операционной системы реального ..."
 
Том 28, № 2 (2016) Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS Аннотация  похожие документы
С. Тул, П. Г. Ларсен
"... Кибер-физические системы часто включают в себя управляющие кибер-элементы, контролирующие ..."
 
Том 28, № 4 (2016) Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток Аннотация  PDF (Rus)  похожие документы
В. О. Ермакова, И. А. Ломазова
"... . Мультиагентные системы являются системами с высоким уровнем параллелизма. При верификации таких систем методами ..."
 
Том 26, № 3 (2014) Обзор масштабируемых систем межмодульных оптимизаций Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова
"... неприемлемо ввиду значительных затрат времени и памяти. Решающие эту проблему компиляторные системы, способные ..."
 
1 - 40 из 131 результатов 1 2 3 4 > >> 

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

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