Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 6 (2017) Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, Е. М. Новиков
"... систем. Данный метод был реализован в системе статической верификации Klever и применен для проверки ..."
 
Том 29, № 2 (2017) Возможности статической верификации монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... , безопасности, надежности и производительности. Те подходы к обеспечению качества программных систем, которые в ..."
 
Том 29, № 2 (2017) Развитие ядра операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... различных методов и инструментов обеспечения качества программных систем. ..."
 
Том 29, № 6 (2017) Поиск недостающих вызовов библиотечных функций с использованием машинного обучения Аннотация  PDF (Rus)  похожие документы
И. А. Якимов, А. С. Кузнецов
"... Разработка программного обеспечения является сложным и подверженным ошибкам процессом. В целях ..."
 
Том 26, № 2 (2014) Конфигурируемая система статической верификации модулей ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов
"... производительности программную систему. Качество ядра современных ОС уже находится на достаточно высоком уровне ..."
 
Том 28, № 2 (2016) Подход к обнаружению анти-паттернов в сервис-ориентированных системах Аннотация  похожие документы
А. С. Югов
"... , в свою очередь, снижает качество программной системы и требует большего внимания разработчиков на ..."
 
Том 29, № 5 (2017) Техника плоских схем для тестирования встроенных операционных систем Аннотация  похожие документы
В. В. Никифоров, С. Н. Баранов
"... системы; тестирование программного обеспечения; системы реального времени ..."
 
Том 32, № 2 (2020) Анализ российского программного обеспечения для поддержки жизненного цикла разработки бортовых систем в условиях политики импортозамещения Аннотация  похожие документы
Наталья Кирилловна ГОРЕЛИЦ, Александра Сергеевна ГУКОВА, Дмитрий Владимирович КРАСНОЩЕКОВ
"... PLM (Product Lifecycle Management) и PDM (Product Data Management) системы, а также другое программное ..."
 
Том 29, № 4 (2017) Cтохастические методы анализа комплексных программно-аппаратных систем Аннотация  похожие документы
А. А. Карнов, С. В. Зеленов
"... В данной работе рассматривается марковский анализ моделей комплексных программно-аппаратных систем ..."
 
Том 30, № 5 (2018) Информатика: становление программного обеспечения и технологий программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
"... Рассматривается становление информатики и аспектов компьютерной поддержки создания программного ..."
 
Том 21 (2011) Риски проектирования и производства мобильных программных продуктов Аннотация  PDF (Rus)  похожие документы
В. В. Липаев
"... утверждения допустимого интегрального риска программного продукта. ..."
 
Том 29, № 5 (2017) Проектирование моделей вариабельности для программных, операционных систем и их семейств Аннотация  похожие документы
Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов
"... тестирования ПС, ОС и их семейств. Ключевые слова: модель вариабельности; программная система; семейство систем ..."
 
Том 27, № 5 (2015) Об интеграции формальных методов в задачах верификации операционных систем Аннотация  PDF (Rus)  похожие документы
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов
"... верификации ядра операционной системы на основе формальных спецификаций. ..."
 
Том 18 (2010) Технология создания гетерогенных трасс, их анализа и генерации из них отчётов Аннотация  PDF (Rus)  похожие документы
С. Г. Грошев
"... В статье описывается архитектура модульной системы трассировки (журнализации, логгирования) и ..."
 
Том 31, № 1 (2019) Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна Лаврищева, Вадим Сергеевич Мутилин, Святослав Владимирович Козин, Андрей Геннадьевич Рыжов
"... сконфигурированный продукт формируется сертификат качества на основе стандартов ISO/IEC 9000 (1–4) quality. Даны ..."
 
Том 30, № 5 (2018) Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем Аннотация  PDF (Rus)  похожие документы
А. В. Самонов, Г. Н. Самонова
"... В статье представлены модели и алгоритмы обеспечения сквозного контроля качества сложных программно ..."
 
Том 29, № 3 (2017) Комплекс алгоритмов функционирования системы безопасного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... безопасного исполнения программного кода. Функциональным предназначением данной системы является проведение ..."
 
Том 27, № 3 (2015) Эффективное использование ресурсов распределенной платформы облачных вычислений для обеспечения качества мультимедийных услуг Аннотация  PDF (Rus)  похожие документы
И. П. Болодурина, Д. И. Парфёнов
"... информационных систем, развернутых в облачной системе. Для этого планируется разработать модели, описывающие ..."
 
Том 29, № 5 (2017) Программное обеспечение для создания адаптивных сеток Аннотация  PDF (Rus)  похожие документы
А. Н. Семакин
"... В этой статье мы представляем программный пакет для создания адаптивных конечно-разностных сеток ..."
 
Том 22 (2012) Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU Аннотация  PDF (Rus)  похожие документы
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян
 
Том 29, № 4 (2017) Статическая верификация конфигураций ядра Linux Аннотация  похожие документы
С. В. Козин, В. С. Мутилин
"... Ядро операционной системы Linux - это частый пример современных инженерных решений в области ..."
 
Том 29, № 6 (2017) Автоматизация разработки моделей устройств и вычислительных машин для QEMU Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян
 
Том 31, № 3 (2019) Разработка программной среды для управления интеллектуальными устройствами в реальном времени Аннотация  похожие документы
Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович
"... Предметом данной статьи является разработка программной среды для управления интеллектуальными ..."
 
Том 26, № 3 (2014) Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования Аннотация  PDF (Rus)  похожие документы
М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов
"... пилотные версии инструментальных и проблемно-ориентированных модулей программной платформы Теметос для ..."
 
Том 30, № 1 (2018) Методы анализа вредоносного программного обеспечения под ОС Android Аннотация  похожие документы
С. М. Старолетов
"... программно- и научно-технических экспертиз (статические, динамические проверки, отладка, декомпиляция ..."
 
Том 30, № 5 (2018) Подход к анализу исполняемого кода на основе восстановления программной архитектуры Аннотация  PDF (Rus)  похожие документы
Д. С. Кононов
"... программном модуле на основе предварительного восстановления программной архитектуры в ходе анализа ..."
 
Том 28, № 1 (2016) Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, М. Н. Никитин
"... программного пакета с открытым программным кодом Code Saturne. Построение сетки, учитывающей особенности ..."
 
Том 26, № 3 (2014) Современные модели и методы теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... потоков, планирование проектов, управление ресурсами в вычислительных системах. Однако разнообразие ..."
 
Том 32, № 3 (2020) Подход к трансляции таблицы потоков коммутатора программно-конфигурируемой сети в язык ассемблера сетевого процессора Аннотация  похожие документы
Андрей Александрович МАРКОБОРОДОВ, Юлия Александровна СКОБЦОВА, Дмитрий Юрьевич ВОЛКАНОВ
 
Том 29, № 5 (2017) Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан
"... В статье описывается практический опыт разработки перспективной системы визуального планирования ..."
 
Том 29, № 5 (2017) Численное исследование теплоотдачи в каналах с неглубокими подковообразными лунками Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, С. Е. Разоренов, В. В. Белая
"... неразрывности, уравнения энергии. Для замыкания системы уравнений использована k-w-sst модель турбулентности ..."
 
Том 29, № 6 (2017) Подход к реализации системы верифицированного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... исполнения программного кода. Функциональным предназначением данной системы является проведение исследования ..."
 
Том 29, № 3 (2017) Объектно-ориентированный каркас для программной реализации приложений теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... Статья адресована вопросам программной реализации моделей, методов и приложений теории расписаний с ..."
 
Том 30, № 2 (2018) Онтология предметной области «Удобство использования программного обеспечения» Аннотация  PDF (Rus)  похожие документы
А. А. Сытник, Т. Э. Шульга, Н. А. Данилов
"... В статье представлена онтология предметной области «Удобство использования программного обеспечения ..."
 
Том 22 (2012) Программная конвейеризация циклов на платформе ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий
 
Том 30, № 6 (2018) Принципы построения межведомственного центра коллективного пользования общего назначения в модели программно-определяемого ЦОД Аннотация  PDF (Rus)  похожие документы
Б. М. Шабанов, О. И. Самоваров
"... один из подходов к созданию ЦОД - концепция программно-определяемой инфраструктуры. Программно ..."
 
Том 31, № 2 (2019) Непрерывная интеграция функционального наполнения распределенных пакетов прикладных программ в Orlando Tools Аннотация  PDF (Rus)  похожие документы
Александр Геннадьевич Феоктистов, Сергей Алексеевич Горский, Иван Александрович Сидоров, Роман Олегович Костромин, Евгений Сергеевич Фереферов, Игорь Вячеславович Бычков
"... по применению прототипа системы непрерывной интеграции прикладного программного обеспечения ..."
 
Том 31, № 3 (2019) Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” Аннотация  похожие документы
Павел Алексеевич Порошин, Алексей Николаевич Мешков
"... Программное моделирование играют важную роль в цикле разработки процессоров, так как они ..."
 
Том 31, № 5 (2019) Разработка языка: OOP or not OOP or better OOP Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич Недоря
 
Том 31, № 6 (2019) Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ Аннотация  PDF (Rus)  похожие документы
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков
"... современных исследований и разработок в области обеспечения безопасности и устойчивости программного ..."
 
1 - 40 из 177 результатов 1 2 3 4 5 > >> 

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

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