Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 22 (2012) Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU Аннотация  PDF (Rus)  похожие документы
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян
"... симуляторе QEMU, которые отличаются тем, какие компоненты виртуальной машины включаются в воспроизведение ..."
 
Том 31, № 3 (2019) Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” Аннотация  похожие документы
Павел Алексеевич Порошин, Алексей Николаевич Мешков
"... -точного симулятора является способ моделирования конвейера симулируемого процессора. Программная модель ..."
 
Том 27, № 2 (2015) Методы повышения производительности обратной отладки Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, П. М. Довгалюк
"... детерминированного воспроизведения в симуляторе QEMU 2.0. Предлагаются несколько способов повышения ..."
 
Том 32, № 2 (2020) Реализация подсистемы памяти в рамках потактово-точного симулятора уровня приложений микропроцессоров архитектуры «Эльбрус» Аннотация  похожие документы
Павел Алексеевич ПОРОШИН, Дмитрий Валерьевич ЗНАМЕНСКИЙ, Алексей Николаевич МЕШКОВ
"... рассматриваемого потактово-точного симулятора. Вслед за этим описаны программная модель подсистемы памяти и ..."
 
Том 26, № 2 (2014) Внесение неисправностей в программу с использованием детерминированного воспроизведения Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, Ю. В. Маркин
"... детерминированного воспроизведения в симуляторе. Внесение неисправностей используется для проверки качества покрытия ..."
 
Том 29, № 3 (2017) Комплекс алгоритмов функционирования системы безопасного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... безопасного исполнения программного кода. Функциональным предназначением данной системы является проведение ..."
 
Том 29, № 5 (2017) Программное обеспечение для создания адаптивных сеток Аннотация  PDF (Rus)  похожие документы
А. Н. Семакин
"... В этой статье мы представляем программный пакет для создания адаптивных конечно-разностных сеток ..."
 
Том 29, № 4 (2017) Статическая верификация конфигураций ядра Linux Аннотация  похожие документы
С. В. Козин, В. С. Мутилин
"... создания продуктовых линеек программного обеспечения. Сегодня это одна из наиболее сложных программных ..."
 
Том 29, № 6 (2017) Автоматизация разработки моделей устройств и вычислительных машин для QEMU Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян
 
Том 31, № 3 (2019) Разработка программной среды для управления интеллектуальными устройствами в реальном времени Аннотация  похожие документы
Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович
"... Предметом данной статьи является разработка программной среды для управления интеллектуальными ..."
 
Том 26, № 3 (2014) Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования Аннотация  PDF (Rus)  похожие документы
М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов
"... пилотные версии инструментальных и проблемно-ориентированных модулей программной платформы Теметос для ..."
 
Том 29, № 6 (2017) Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, Е. М. Новиков
 
Том 29, № 2 (2017) Возможности статической верификации монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... , безопасности, надежности и производительности. Те подходы к обеспечению качества программных систем, которые в ..."
 
Том 30, № 1 (2018) Методы анализа вредоносного программного обеспечения под ОС Android Аннотация  похожие документы
С. М. Старолетов
"... программно- и научно-технических экспертиз (статические, динамические проверки, отладка, декомпиляция ..."
 
Том 30, № 5 (2018) Подход к анализу исполняемого кода на основе восстановления программной архитектуры Аннотация  PDF (Rus)  похожие документы
Д. С. Кононов
"... программном модуле на основе предварительного восстановления программной архитектуры в ходе анализа ..."
 
Том 32, № 2 (2020) Анализ российского программного обеспечения для поддержки жизненного цикла разработки бортовых систем в условиях политики импортозамещения Аннотация  похожие документы
Наталья Кирилловна ГОРЕЛИЦ, Александра Сергеевна ГУКОВА, Дмитрий Владимирович КРАСНОЩЕКОВ
"... . В настоящее время на российском ИТ-рынке представлено достаточное количество программного ..."
 
Том 28, № 1 (2016) Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, М. Н. Никитин
"... программного пакета с открытым программным кодом Code Saturne. Построение сетки, учитывающей особенности ..."
 
Том 29, № 5 (2017) Техника плоских схем для тестирования встроенных операционных систем Аннотация  похожие документы
В. В. Никифоров, С. Н. Баранов
"... автоматического оборудования поддерживается рядом различных встроенных программных приложений, которые выполняются ..."
 
Том 26, № 3 (2014) Современные модели и методы теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... назначения для подобных целей крайне ограниченно. Более перспективным для реализации программных приложений ..."
 
Том 32, № 3 (2020) Подход к трансляции таблицы потоков коммутатора программно-конфигурируемой сети в язык ассемблера сетевого процессора Аннотация  похожие документы
Андрей Александрович МАРКОБОРОДОВ, Юлия Александровна СКОБЦОВА, Дмитрий Юрьевич ВОЛКАНОВ
 
Том 29, № 5 (2017) Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан
"... классов и интерфейсов, предназначенных для программной реализации моделей, методов и приложений теории ..."
 
Том 29, № 6 (2017) Поиск недостающих вызовов библиотечных функций с использованием машинного обучения Аннотация  PDF (Rus)  похожие документы
И. А. Якимов, А. С. Кузнецов
"... Разработка программного обеспечения является сложным и подверженным ошибкам процессом. В целях ..."
 
Том 29, № 5 (2017) Численное исследование теплоотдачи в каналах с неглубокими подковообразными лунками Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, С. Е. Разоренов, В. В. Белая
"... . Численное решение получено с помощью программного пакета Code Saturne, распространяемого на основе свободной ..."
 
Том 29, № 6 (2017) Подход к реализации системы верифицированного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... исполнения программного кода. Функциональным предназначением данной системы является проведение исследования ..."
 
Том 29, № 3 (2017) Объектно-ориентированный каркас для программной реализации приложений теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... Статья адресована вопросам программной реализации моделей, методов и приложений теории расписаний с ..."
 
Том 29, № 2 (2017) Развитие ядра операционной системы Linux Аннотация  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, № 5 (2019) Разработка языка: OOP or not OOP or better OOP Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич Недоря
 
Том 31, № 6 (2019) Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ Аннотация  PDF (Rus)  похожие документы
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков
"... современных исследований и разработок в области обеспечения безопасности и устойчивости программного ..."
 
Том 26, № 2 (2014) Конфигурируемая система статической верификации модулей ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов
"... производительности программную систему. Качество ядра современных ОС уже находится на достаточно высоком уровне ..."
 
Том 31, № 2 (2019) Выявление характерных особенностей программ для борьбы с компьютерным пиратством на основе интеллектуального анализа графов Аннотация  PDF (Rus)  похожие документы
Сохаил Сарвар, Зия Уль Кайум, Мухаммад Сафьян, Муддессар Икбал, Ясир Махмуд
"... Расширение числа и ассортимента компонентов программного обеспечения в значительной степени ..."
 
Том 21 (2011) Риски проектирования и производства мобильных программных продуктов Аннотация  PDF (Rus)  похожие документы
В. В. Липаев
"... утверждения допустимого интегрального риска программного продукта. ..."
 
Том 28, № 2 (2016) Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли Аннотация  похожие документы
И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц
"... использованию процессов программной и системной инженерии при создании сложных систем в целом и воздушных судов ..."
 
Том 28, № 2 (2016) Подход к обнаружению анти-паттернов в сервис-ориентированных системах Аннотация  похожие документы
А. С. Югов
"... разработке программного обеспечения, потому что это позволяет разрабатывать гибкие и масштабируемые ..."
 
Том 29, № 5 (2017) Исследование атак типа «Cross-Site Request Forgery» в рамках проведения анализа уязвимостей веб-приложений Аннотация  похожие документы
А. В. Барабанов, А. И. Лавров, А. С. Марков, И. А. Полотнянщиков, В. Л. Цирлов
"... межсайтовой подделки запросов для разработчиков, планирующих проведение сертификации своего программного ..."
 
Том 29, № 4 (2017) Cтохастические методы анализа комплексных программно-аппаратных систем Аннотация  похожие документы
А. А. Карнов, С. В. Зеленов
"... В данной работе рассматривается марковский анализ моделей комплексных программно-аппаратных систем ..."
 
1 - 39 из 59 результатов 1 2 > >> 

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

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