Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 34, № 1 (2022) Прослеживаемость требований как основа проектирования функционально-логической архитектуры программной системы Аннотация  похожие документы
Борис Аронович ПОЗИН, Григорий Наумович ЦИПЕРМАН
"... maintaining the traceability of requirements in the presence of business, functional and logical architecture ..."
 
Том 20 (2011) Архитектура Linux Driver Verification Аннотация  PDF (Rus)  похожие документы
В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед
"... tool for Linux device drivers. An architecture of a verification system implementing the requirements ..."
 
Том 34, № 4 (2022) Построение требований и архитектуры облачного оркестратора платформенных сервисов Аннотация  PDF (Rus)  похожие документы
Никита Алексеевич ЛАЗАРЕВ, Олег Дмитриевич БОРИСЕНКО
"... are to identify the requirements for a platform-level cloud computing (PaaS) orchestrator, as well as to propose ..."
 
Том 35, № 3 (2023) Проектирование архитектуры системы мониторинга на основе паттернов проектирования Аннотация  похожие документы
Александра Алексеевна ПАСЫНКОВА, Ольга Леонидовна ВИКЕНТЬЕВА
"... for monitoring system architecture. The article also analysis the requirements for monitoring systems ..."
 
Том 34, № 2 (2022) Веб-приложение для продвижения донорства крови в России Аннотация  похожие документы
Павел Алексеевич СМИРНОВ, Вера Владимировна МАЛИНОВСКАЯ, Никита Владимирович ВОИНОВ
 
Том 28, № 2 (2016) Устройство и архитектура операционной системы реального времени Аннотация  похожие документы
К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов
"... Modular Avionics (IMA) architecture for airborne systems. This architecture is based on interconnection ..."
 
Том 30, № 5 (2018) Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем Аннотация  PDF (Rus)  похожие документы
А. В. Самонов, Г. Н. Самонова
"... and verification of formal models of requirements and architecture of such systems, Firstly, we give the analysis ..."
 
Том 32, № 6 (2020) Мониторинг и тестирование на основе многоуровневых спецификаций программ Аннотация  PDF (Rus)  похожие документы
Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ
"... verification also in testing of real systems for compliance with the requirements set by these models ..."
 
Том 36, № 1 (2024) Фаззинг полиморфных систем в структурах микросервисов Аннотация  PDF (Rus)  похожие документы
Артемий Сергеевич ЮРЬЕВ
"... with time-to-market deadlines, requirements of various regulators and recommendations of standards ..."
 
Том 30, № 4 (2018) Библиотека программирования гетерогенных архитектур Аннотация  похожие документы
Г. В. Киргизов, Я. А. Кириленко
"... Embedded platforms with heterogeneous architecture, considered in this paper, consist of one ..."
 
Том 30, № 5 (2018) Подход к анализу исполняемого кода на основе восстановления программной архитектуры Аннотация  PDF (Rus)  похожие документы
Д. С. Кононов
"... under study based on the preliminary software architecture recovery during the executable code analysis ..."
 
Том 28, № 6 (2016) Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко
"... ARM is a family of microprocessor instruction set architectures developed in a company ..."
 
Том 33, № 3 (2021) Какие стили архитектуры программного обеспечения популярны? Аннотация  похожие документы
Алексей Александрович МИЦЮК, Николай Арсенович ЖАМГАРЯН
"... One can meet the software architecture style's notion in the software engineering literature ..."
 
Том 36, № 6 (2024) Предметно-ориентированное проектирование в микросервисной архитектуре Аннотация  похожие документы
Хосуэ САНГАБРИЭЛЬ-АЛАРКОН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, М. Карен КОРТЕС-ВЕРДИН
"... found benefits and challenges in the use of DDD in Microservices Architecture which are translated ..."
 
Том 31, № 1 (2019) Управление требованиями к ответственным системам. Обзор решений Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Хорошилов, Наталья Кирилловна Горелиц, Денис Степанович Кильдишев
"... Requirements are an integral part of any software and hardware development process. The area where ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... . In this paper, we discuss the tool architecture, describe our implementation, and present a case study ..."
 
Том 33, № 1 (2021) Паттерны микросервисной архитектуры: многопрофильный обзор литературы Аннотация  PDF (Rus)  похожие документы
Хосе Али ВАЛЬДИВИЯ, Алонсо ЛОРА-ГОНСАЛЕС, Ксавье ЛИМОН, Карен КОРТЕС-ВЕРДИН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС
"... A Microservice Architecture enables the development of distributed systems using a set of highly ..."
 
Том 26, № 5 (2014) Стохастическая модель процесса идентификации сервисов информационной системы Аннотация  PDF (Rus)  похожие документы
Г. Н. Циперман
"... This article refers to labor costs estimation of information system functional requirements design ..."
 
Том 34, № 2 (2022) Архитектура программной системы для проектирования надежных бизнес-процессов Аннотация  похожие документы
Катарина Вадимовна САМОЙЛОВА, Елена Борисовна ЗАМЯТИНА
 
Том 26, № 1 (2014) Инструменты анализа и разработки эффективного кода для параллельных архитектур Аннотация  PDF (Rus)  похожие документы
Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич
"... architectures, including hybrid systems. Specialized profiling methods designed for programmers tasked ..."
 
Том 32, № 3 (2020) Генерация кодов для вещественной арифметики в архитектуре MIPS Аннотация  похожие документы
Иван Сергеевич АРХИПОВ
"... This article is related to code generation for floating-point arithmetics in the MIPS architecture ..."
 
Том 22 (2012) Планирование команд и конвейеризация циклов на современных архитектурах Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян
"... extensible architecture of detecting and using the available instruction level parallelism. The detection ..."
 
Том 31, № 3 (2019) Моделирование нелинейной системы стабилизации на кластерах с сопроцессорами Intel Xeon Phi Аннотация  похожие документы
Дмитрий Вадимович Мельничук
 
Том 18 (2010) Создание модулей поддержки архитектур для среды TrEx с помощью специализированного языка описания процессоров Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, М. А. Климушенкова, А. М. Мухина
"... and application of this language for developing plug-ins for architecture support for TrEx. There is also included ..."
 
Том 32, № 5 (2020) Практика и перспективы применения семейства эмуляторов архитектур мейнфреймов IBM Аннотация  PDF (Rus)  похожие документы
Александр Викторович ШМИД
"... This article describes the family of emulators for IBM mainframe architectures, their development ..."
 
Том 30, № 6 (2018) Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8 Аннотация  PDF (Rus)  похожие документы
А. М. Водовозов, Д. С. Полетаев
"... We consider the problem of using processors with an ARMv8 architecture to speed up the operation ..."
 
Том 32, № 1 (2020) В ожидании нативных архитектур СУБД на основе энергонезависимой основной памяти Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Кузнецов
"... ). However, the number of researchers who are actively engaged in research of architectures of native in-NVM ..."
 
Том 36, № 1 (2024) Архитектура программного обеспечения для разработки системы совместной медицинской деятельности при реабилитации инсультов Аннотация  похожие документы
София Исабель ФЕРНАНДЕС ГРЕГОРИО, Луис Херардо МОНТАНЕ-ХИМЕНЕС , Кармен МЕСУРА ГОДОЙ, Вивиана Ярель РОСАЛЕС-МОРАЛЕС
"... . Therefore, we present a collaborative software architecture to assist and enable the monitoring of medical ..."
 
Том 25 (2013) Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов Аннотация  PDF (Rus)  похожие документы
Н. Л. Луговской, С. В. Сыромятников
 
Том 37, № 2 (2025) Усовершенствованный поиск архитектур в автоматическом решении задач графового машинного обучения: расширение и динамическая приоритизация пространства поиска для повышения эффективности Аннотация  PDF (Rus)  похожие документы
Фёдор Михайлович БАЛАБАНОВ, Кирилл Сергеевич ЛУКЬЯНОВ
"... This paper explores methods for enhancing the automated architecture search process for graph ..."
 
Том 28, № 4 (2016) Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Иванишин
"... its own memory space and has an architecture tuned towards highly parallel execution. NVIDIA provides ..."
 
Том 26, № 1 (2014) Архитектура и особенности реализации платформы UniHUB в модели облачных вычислений на базе открытого пакета OpenStack Аннотация  PDF (Rus)  похожие документы
О. И. Самоваров, С. С. Гайсарян
"... describes an architecture of web laboratory developed in scope of the cloud model. The UniHUB platform ..."
 
Том 26, № 1 (2014) Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты Аннотация  PDF (Rus)  похожие документы
Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян
"... hardware architecture with static compilation using GCC and LLVM compilers as examples. We present some ..."
 
Том 32, № 6 (2020) Архитектура программного средства с открытым исходным кодом для численного моделирования потоков на горных склонах Аннотация  PDF (Rus)  похожие документы
Дарья Игоревна РОМАНОВА
"... , the architecture of the multiphaseEulerChangeFoam solver was developed, which implements a three-phase multi ..."
 
Том 33, № 5 (2021) Разработка компилятора для стековой процессорной архитектуры TF16 на основе LLVM Аннотация  PDF (Rus)  похожие документы
Леонид Владленович СКВОРЦОВ, Роман Вячеславович БАЕВ, Ксения Юрьевна ДОЛГОРУКОВА, Евгений Юрьевич ШАРЫГИН
"... Development for stack-based architectures is usually done using legacy low level languages ..."
 
Том 36, № 5 (2024) Архитектура открытого программного комплекса UEMKA для управления целевыми устройствами SMART-наноспутников Аннотация  PDF (Rus)  похожие документы
Георгий Александрович ЩЕГЛОВ, Кристина Александровна ЖДАНОВА, Зайнулла Серикович ЖУМАЕВ, Никита Дмитриевич КАМЕНЕВ
"... for centralized management of target terminal devices of nanosatellites based on microservice architecture ..."
 
Том 37, № 2 (2025) Архитектура системы сбора и извлечения информации для интеллектуальной поисково-аналитической системы Аннотация  PDF (Rus)  похожие документы
Данил Сергеевич СЕРЕНКО, Егор Дмитриевич ТЕРЕНТЬЕВ, Денис Владимирович ЗУБАРЕВ, Илья Владимирович СОЧЕНКОВ
"... the architecture of an adaptive information collection and extraction system that integrates standard data ..."
 
Том 34, № 1 (2022) Исследование применимости аппаратной компрессии данных в межпроцессорных каналах связи процессоров с архитектурой Эльбрус Аннотация  PDF (Rus)  похожие документы
Александр Викторович СУРЧЕНКО
"... архитектурой Эльбрус. В качестве рассматриваемого алгоритма компрессии выбирается алгоритм BΔI*-HL ..."
 
Том 36, № 5 (2024) Конструирование программных систем, нацеленное на обеспечение безопасности Аннотация  PDF (Rus)  похожие документы
Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Екатерина Александровна РУДИНА
"... architecture analysis methods, hardening techniques, and safe programming languages. ..."
 
1 - 39 из 316 результатов 1 2 3 4 5 6 7 8 9 > >> 

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

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