Сортировать по:
Выпуск | Название | |
Том 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 диссертация)