Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 4 (2017) Обнаружение неточно повторяющегося текста в документации программного обеспечения Аннотация  похожие документы
Л. Д. Кантеев, Ю. О. Костюков, Д. В. Луцив, Д. В. Кознов, М. Н. Смирнов
"... with duplicates in software documentation. But most of them use software clone detection technique, that is make ..."
 
Том 31, № 3 (2019) Цифровое моделирование технологии производства металлообрабатывающих механических цехов Аннотация  похожие документы
Всеволод Павлович Котляров, Алексей Павлович Маслаков, Алексей Андреевич Толстолес
"... , allowing generating them and their documentation from pre-prepared parameterized templates stored ..."
 
Том 28, № 2 (2016) Применимость AutoProof: учебный пример верификации ПО Аннотация  похожие документы
Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин
"... accuracy required for commercial software where those factors make a financial difference. In order ..."
 
Том 28, № 6 (2016) Моделирование семейств программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
"... documentation, verification, operation support, deployment, etc. One of the software system family development ..."
 
Том 33, № 1 (2021) Безопасная реализация виртуальной сети на плоскости данных SDN Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ
"... and without duplicate paths when a host can get the same packet several times. Using the notion of a perfect ..."
 
Том 32, № 4 (2020) Совершенные множества путей в полном графе коммутаторов SDN-сети Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Евгений Максимович ВИНАРСКИЙ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ
"... , without duplicate paths, when the host receives the same packet several times, and without unintended ..."
 
Том 27, № 3 (2015) Метод автоматической конкретизации символических тестовых сценариев Аннотация  PDF (Rus)  похожие документы
Никита Воинов, Павел Дробинцев, Игорь Никифоров, Всеволод Котляров, Александр Колчин
"... of automated software verification and testing technology. Tools for automated concretization process based ..."
 
Том 27, № 3 (2015) Бесшовная разработка программного обеспечения: применимость на примере Аннотация  PDF (Rus)  похожие документы
Александр Наумчев
"... Requirements and code, in conventional software engineering wisdom, belong to entirely different ..."
 
Том 30, № 5 (2018) Информатика: становление программного обеспечения и технологий программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
"... Formation of Informatics and aspects of computer software development, in particular, operating ..."
 
Том 33, № 1 (2021) Смягчение неопределенности при разработке научных приложений в интегрированной среде Аннотация  PDF (Rus)  похожие документы
Андрей Николаевич ЧЕРНЫХ, Игорь Вячеславович БЫЧКОВ, Александр Геннадьевич ФЕОКТИСТОВ, Сергей Алексеевич ГОРСКИЙ, Иван Александрович СИДОРОВ, Роман Олегович КОСТРОМИН, Алексей Владимирович ЕДЕЛЕВ, Валерий Иванович ЗОРКАЛЬЦЕВ, Арутюн Ишханович АВЕТИСЯН
"... of an integrated software environment for developing distributed applied software packages. The additional means ..."
 
Том 32, № 6 (2020) Мониторинг и тестирование на основе многоуровневых спецификаций программ Аннотация  PDF (Rus)  похожие документы
Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ
"... Research on formal methods of software development and verification focuses on building ..."
 
Том 29, № 5 (2017) Программное обеспечение для создания адаптивных сеток Аннотация  PDF (Rus)  похожие документы
А. Н. Семакин
"... In this paper, we present a software package for the construction of an adaptive finite-difference ..."
 
Том 30, № 2 (2018) Онтология предметной области «Удобство использования программного обеспечения» Аннотация  PDF (Rus)  похожие документы
А. А. Сытник, Т. Э. Шульга, Н. А. Данилов
"... The article presents the ontology of the "Software usability" domain. Authors provides the review ..."
 
Том 23 (2012) Комбинирование признаков для извлечения тематических цепочек в новостном кластере Аннотация  PDF (Rus)  похожие документы
А. А. Алексеев, Н. В. Лукашевич
"... expression extraction and main entity detection. At the end of cluster processing we obtain groups of near ..."
 
Том 28, № 2 (2016) Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде Аннотация  похожие документы
М. С. Малеванный, С. С. Михалкович
"... fragments in the source code and makes switching between software development tasks easier. We describe ..."
 
Том 31, № 2 (2019) Непрерывная интеграция функционального наполнения распределенных пакетов прикладных программ в Orlando Tools Аннотация  PDF (Rus)  похожие документы
Александр Геннадьевич Феоктистов, Сергей Алексеевич Горский, Иван Александрович Сидоров, Роман Олегович Костромин, Евгений Сергеевич Фереферов, Игорь Вячеславович Бычков
"... testing, and analysis of the execution time of software module versions in a heterogeneous distributed ..."
 
Том 24 (2013) О методах деобфускации программ Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин
"... This paper describes the work on development of the deobfuscation software. The main target ..."
 
Том 22 (2012) Программная конвейеризация циклов на платформе ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий
"... ), a well-known software pipelining technique, in the GNU Compiler Collection (GCC) for ARM platform. Prior ..."
 
Том 30, № 6 (2018) Принципы построения межведомственного центра коллективного пользования общего назначения в модели программно-определяемого ЦОД Аннотация  PDF (Rus)  похожие документы
Б. М. Шабанов, О. И. Самоваров
"... of a data center - the concept of software-defined infrastructure. Software-defined is such a data center ..."
 
Том 32, № 2 (2020) Анализ российского программного обеспечения для поддержки жизненного цикла разработки бортовых систем в условиях политики импортозамещения Аннотация  похожие документы
Наталья Кирилловна ГОРЕЛИЦ, Александра Сергеевна ГУКОВА, Дмитрий Владимирович КРАСНОЩЕКОВ
"... ’t facilitate the issue solving. The choice of software tools is an important component of success while ..."
 
Том 26, № 1 (2014) Инструментальные средства проектирования систем интегрированной модульной авионики Аннотация  PDF (Rus)  похожие документы
Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко, А. В. Страх, А. А. Угненко, А. В. Хорошилов
"... international projects varying in maturity, availability of source code and documentation. The paper presents ..."
 
Том 28, № 1 (2016) Свободное программное обеспечение для моделирования жидкости со свободной поверхностью Аннотация  PDF (Rus)  похожие документы
Е. В. Давыдова, В. Н. Корчагова
 
Том 29, № 4 (2017) Cтохастические методы анализа комплексных программно-аппаратных систем Аннотация  похожие документы
А. А. Карнов, С. В. Зеленов
"... In this paper we consider Markov analysis of models of complex software and hardware systems ..."
 
Том 26, № 3 (2014) Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения Аннотация  PDF (Rus)  похожие документы
А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, В. В. Каушан, С. С. Гайсарян
"... Software vulnerabilities are critical for security. All C/C++ programs contain significant amount ..."
 
Том 26, № 2 (2014) Внесение неисправностей в программу с использованием детерминированного воспроизведения Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, Ю. В. Маркин
"... This paper presents method of improving software fault injection by using deterministic replay ..."
 
Том 26, № 1 (2014) Методы и программные средства, поддерживающие комбинированный анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко
"... on specifics of a given machine; and a method and software tool have been developed for automated recovery ..."
 
Том 26, № 1 (2014) Применение программных эмуляторов в задачах анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова
"... The article presents the experience of using software emulators as a tool for dynamic analysis ..."
 
Том 29, № 6 (2017) Программный пакет для расчета аэродинамических характеристик летательных аппаратов Аннотация  похожие документы
В. Н. Котеров, В. М. Кривцов, В. И. Зубов
"... The software package to calculate parameters of three-dimensional steady and unsteady gas flows ..."
 
Том 29, № 5 (2017) Моделирование программно-аппаратных систем и анализ их безопасности Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов, С. А. Зеленова
"... Hardware-software systems are widely used now and must be safe and reliable. Manual analysis ..."
 
Том 29, № 3 (2017) Объектно-ориентированный каркас для программной реализации приложений теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... and accelerate the software development processes. The presented SAF framework is a system of C++ classes ..."
 
Том 30, № 2 (2018) Алгоритм удаления невидимых поверхностей на основе программных проверок видимости Аннотация  PDF (Rus)  похожие документы
В. И. Гонахчян
"... by using occlusion checks implemented in software mode. We propose heuristic to determine hierarchy level ..."
 
Том 23 (2012) Комбинаторная генерация программных конфигураций ОС Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин
 
Том 22 (2012) Планирование команд и конвейеризация циклов на современных архитектурах Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
"... We describe the approach for instruction scheduling and software pipelining based on a two-stage ..."
 
Том 21 (2011) Риски проектирования и производства мобильных программных продуктов Аннотация  PDF (Rus)  похожие документы
В. В. Липаев
"... The paper introduces main notions and properties of risks of software complexes. Factors and types ..."
 
Том 19 (2010) Обмен данными в распределенной системе поддержки решений Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
 
Том 30, № 6 (2018) Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев
 
Том 31, № 5 (2019) Методы оценки надежности программных и технических систем Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин
"... and safety of software and hardware systems in the processes of their life cycle, as well as collecting ..."
 
Том 28, № 1 (2016) Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, М. Н. Никитин
 
Том 30, № 3 (2018) Статический анализ для поиска переполнения буфера: актуальные направления развития Аннотация  похожие документы
И. А. Дудина
 
Том 29, № 4 (2017) Статическая верификация конфигураций ядра Linux Аннотация  похожие документы
С. В. Козин, В. С. Мутилин
"... The Linux kernel is often used as a real world case study to demonstrate novel software product ..."
 
Том 26, № 1 (2014) Инструменты анализа и разработки эффективного кода для параллельных архитектур Аннотация  PDF (Rus)  похожие документы
Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич
 
Том 29, № 6 (2017) Автоматизация разработки моделей устройств и вычислительных машин для QEMU Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян
 
Том 21 (2011) Оценка производительности программного обеспечения в виртуализованном окружении на основе атомарных тестов Аннотация  PDF (Rus)  похожие документы
П. А. Клеменков
 
Том 31, № 3 (2019) Разработка программной среды для управления интеллектуальными устройствами в реальном времени Аннотация  похожие документы
Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович
"... The subject of this paper is development of software framework for real-time management ..."
 
1 - 44 из 267 результатов 1 2 3 4 5 6 7 > >> 

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

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