Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 1 (2017) Особенности построения расчетной схемы для моделирования динамики стабилизатора расхода в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
В. Г. Мельникова, О. С. Коцур, Г. А. Щеглов
"... открытым исходным кодом OpenFOAM в версии extend может быть успешно использован в качестве альтернативы ..."
 
Том 29, № 3 (2017) Комплекс алгоритмов функционирования системы безопасного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... обеспечения возможности контроля исполнения программного кода в рамках заданных функциональных требований ..."
 
Том 29, № 5 (2017) Программное обеспечение для создания адаптивных сеток Аннотация  PDF (Rus)  похожие документы
А. Н. Семакин
"... В этой статье мы представляем программный пакет для создания адаптивных конечно-разностных сеток ..."
 
Том 32, № 2 (2020) Анализ российского программного обеспечения для поддержки жизненного цикла разработки бортовых систем в условиях политики импортозамещения Аннотация  похожие документы
Наталья Кирилловна ГОРЕЛИЦ, Александра Сергеевна ГУКОВА, Дмитрий Владимирович КРАСНОЩЕКОВ
"... сертифицируемого программного обеспечения в сфере авионики. В рамках данной статьи анализируется текущая ситуация ..."
 
Том 28, № 1 (2016) Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, М. Н. Никитин
"... программного пакета с открытым программным кодом Code Saturne. Построение сетки, учитывающей особенности ..."
 
Том 29, № 5 (2017) Техника плоских схем для тестирования встроенных операционных систем Аннотация  похожие документы
В. В. Никифоров, С. Н. Баранов
"... системы; тестирование программного обеспечения; системы реального времени ..."
 
Том 29, № 6 (2017) Поиск недостающих вызовов библиотечных функций с использованием машинного обучения Аннотация  PDF (Rus)  похожие документы
И. А. Якимов, А. С. Кузнецов
"... Разработка программного обеспечения является сложным и подверженным ошибкам процессом. В целях ..."
 
Том 29, № 5 (2017) Численное исследование теплоотдачи в каналах с неглубокими подковообразными лунками Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, С. Е. Разоренов, В. В. Белая
"... . Численное решение получено с помощью программного пакета Code Saturne, распространяемого на основе свободной ..."
 
Том 29, № 6 (2017) Подход к реализации системы верифицированного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... исполнения программного кода. Функциональным предназначением данной системы является проведение исследования ..."
 
Том 30, № 2 (2018) Онтология предметной области «Удобство использования программного обеспечения» Аннотация  PDF (Rus)  похожие документы
А. А. Сытник, Т. Э. Шульга, Н. А. Данилов
"... В статье представлена онтология предметной области «Удобство использования программного обеспечения ..."
 
Том 31, № 2 (2019) Непрерывная интеграция функционального наполнения распределенных пакетов прикладных программ в Orlando Tools Аннотация  PDF (Rus)  похожие документы
Александр Геннадьевич Феоктистов, Сергей Алексеевич Горский, Иван Александрович Сидоров, Роман Олегович Костромин, Евгений Сергеевич Фереферов, Игорь Вячеславович Бычков
"... наполнения (прикладного программного обеспечения) распределенных пакетов прикладных программ (научных ..."
 
Том 31, № 2 (2019) Выявление характерных особенностей программ для борьбы с компьютерным пиратством на основе интеллектуального анализа графов Аннотация  PDF (Rus)  похожие документы
Сохаил Сарвар, Зия Уль Кайум, Мухаммад Сафьян, Муддессар Икбал, Ясир Махмуд
"... Расширение числа и ассортимента компонентов программного обеспечения в значительной степени ..."
 
Том 30, № 1 (2018) Методы анализа вредоносного программного обеспечения под ОС Android Аннотация  похожие документы
С. М. Старолетов
"... , логирование). Описаны процесс анализа, существующие приложения, а также собственное программное обеспечение. ..."
 
Том 28, № 2 (2016) Подход к обнаружению анти-паттернов в сервис-ориентированных системах Аннотация  похожие документы
А. С. Югов
"... разработке программного обеспечения, потому что это позволяет разрабатывать гибкие и масштабируемые ..."
 
Том 29, № 5 (2017) Исследование атак типа «Cross-Site Request Forgery» в рамках проведения анализа уязвимостей веб-приложений Аннотация  похожие документы
А. В. Барабанов, А. И. Лавров, А. С. Марков, И. А. Полотнянщиков, В. Л. Цирлов
"... межсайтовой подделки запросов для разработчиков, планирующих проведение сертификации своего программного ..."
 
Том 29, № 4 (2017) Обнаружение неточно повторяющегося текста в документации программного обеспечения Аннотация  похожие документы
Л. Д. Кантеев, Ю. О. Костюков, Д. В. Луцив, Д. В. Кознов, М. Н. Смирнов
"... При создании документации программного обеспечения часто применяется копирование и вставка с ..."
 
Том 29, № 3 (2017) Комбинация методов статической верификации композиции требований Аннотация  PDF (Rus)  похожие документы
В. О. Мордань
"... Статическая верификация программного обеспечения доказывает выполнение требований в программах ..."
 
Том 18 (2010) Технология создания гетерогенных трасс, их анализа и генерации из них отчётов Аннотация  PDF (Rus)  похожие документы
С. Г. Грошев
 
Том 28, № 3 (2016) Возможности гибридного метода аппроксимации конвективных потоков при моделировании течений сжимаемых сред Аннотация  PDF (Rus)  похожие документы
М. В. Крапошин
 
Том 31, № 6 (2019) Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян
"... Программный инструментарий для работы с бинарным кодом востребован не только разработчиками ..."
 
Том 30, № 6 (2018) Многомасштабный подход к моделированию сложных переходных процессов движения жидкостей в технических системах Аннотация  PDF (Rus)  похожие документы
М. В. Крапошин
"... межфазной поверхности. Реализация подмоделей может быть выполнена на основе пакетов с открытым исходным ..."
 
Том 22 (2012) Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU Аннотация  PDF (Rus)  похожие документы
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян
 
Том 29, № 1 (2017) Численное решение задачи обтекания клина потоком стратифицированной жидкости с использованием OpenFOAM Аннотация  PDF (Rus)  похожие документы
Н. Ф. Димитриева
"... объемов в открытом пакете OpenFOAM. Особое внимание уделялось созданию качественной высокоразрешающей ..."
 
Том 26, № 5 (2014) Численное моделирование стратифицированных течений с использованием OpenFOAM Аннотация  PDF (Rus)  похожие документы
Н. Ф. Димитриева, Я. В. Загуменный
"... использованием метода конечных объемов в рамках открытого пакетаOpenFOAM. Для учета эффектов стратификации и ..."
 
Том 23 (2012) Об одном методе построения схемы полного гомоморфного шифрования Аннотация  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, № 5 (2018) Подход к анализу исполняемого кода на основе восстановления программной архитектуры Аннотация  PDF (Rus)  похожие документы
Д. С. Кононов
"... программном модуле на основе предварительного восстановления программной архитектуры в ходе анализа ..."
 
Том 28, № 1 (2016) Высокопроизводительное численное моделирование стратифицированных течений около клина в OpenFOAM Аннотация  PDF (Rus)  похожие документы
Н. Ф. Димитриева, Ю. Д. Чашечкин
"... жидкости. Поставленная задача решалась с использованием метода конечных объемов в открытом пакете OpenFOAM ..."
 
Том 26, № 5 (2014) Улучшенная атака по известным открытым текстам на гомоморфную криптосистему Доминго-Феррера Аннотация  PDF (Rus)  похожие документы
А. В. Трепачева
"... Данная работа посвящена криптоанализу по известным открытым текстам гомоморфной криптосистемы ..."
 
Том 26, № 3 (2014) Современные модели и методы теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... назначения для подобных целей крайне ограниченно. Более перспективным для реализации программных приложений ..."
 
Том 32, № 3 (2020) Подход к трансляции таблицы потоков коммутатора программно-конфигурируемой сети в язык ассемблера сетевого процессора Аннотация  похожие документы
Андрей Александрович МАРКОБОРОДОВ, Юлия Александровна СКОБЦОВА, Дмитрий Юрьевич ВОЛКАНОВ
 
Том 29, № 5 (2017) Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан
"... классов и интерфейсов, предназначенных для программной реализации моделей, методов и приложений теории ..."
 
Том 29, № 3 (2017) Объектно-ориентированный каркас для программной реализации приложений теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... Статья адресована вопросам программной реализации моделей, методов и приложений теории расписаний с ..."
 
Том 29, № 2 (2017) Развитие ядра операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... различных методов и инструментов обеспечения качества программных систем. ..."
 
Том 22 (2012) Программная конвейеризация циклов на платформе ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий
 
1 - 40 из 67 результатов 1 2 > >> 

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

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