Сортировать по:
| Выпуск | Название | |
| Том 30, № 5 (2018) | Подход к анализу исполняемого кода на основе восстановления программной архитектуры | Аннотация PDF (Rus) похожие документы |
| Д. С. Кононов | ||
| "... under study based on the preliminary software architecture recovery during the executable code analysis ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| "... Recently, more and more software companies are interested in tools to improve the stability ..." | ||
| Том 33, № 3 (2021) | Какие стили архитектуры программного обеспечения популярны? | Аннотация похожие документы |
| Алексей Александрович МИЦЮК, Николай Арсенович ЖАМГАРЯН | ||
| "... One can meet the software architecture style's notion in the software engineering literature ..." | ||
| Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
| "... and their applications in fields of algorithm and data format recovery. The analysis subject is executable code ..." | ||
| Том 36, № 5 (2024) | Конструирование программных систем, нацеленное на обеспечение безопасности | Аннотация PDF (Rus) похожие документы |
| Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Екатерина Александровна РУДИНА | ||
| "... Security-by-Design is an important approach to ensure software security and reliability. It has ..." | ||
| Том 22 (2012) | Программная конвейеризация циклов на платформе ARM | Аннотация PDF (Rus) похожие документы |
| Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий | ||
| "... ), a well-known software pipelining technique, in the GNU Compiler Collection (GCC) for ARM platform. Prior ..." | ||
| Том 34, № 2 (2022) | Архитектура программной системы для проектирования надежных бизнес-процессов | Аннотация похожие документы |
| Катарина Вадимовна САМОЙЛОВА, Елена Борисовна ЗАМЯТИНА | ||
| "... such business processes remains relevant. This paper proposes a software system, which involves the use ..." | ||
| Том 34, № 1 (2022) | Прослеживаемость требований как основа проектирования функционально-логической архитектуры программной системы | Аннотация похожие документы |
| Борис Аронович ПОЗИН, Григорий Наумович ЦИПЕРМАН | ||
| "... информационной системе на протяжении всего жизненного цикла. Показано, как бесшовная архитектура обеспечивает ..." | ||
| Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) похожие документы |
| Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... Research on formal methods of software development and verification focuses on building ..." | ||
| Том 37, № 4: часть 1. июль-август | Определение неточностей в работе некоторых специализированных цикловых оптимизаций в компиляторе LCC для архитектуры «Эльбрус» | Аннотация PDF (Rus) похожие документы |
| Александр Викторович ЕРМОЛИЦКИЙ, Дмитрий Николаевич ЛЕВЧЕНКО, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ | ||
| "... for detecting inaccuracies in the work of two important for VLIW optimizations: software pipeline with hardware ..." | ||
| Том 26, № 3 (2014) | Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования | Аннотация PDF (Rus) похожие документы |
| М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов | ||
| "... The software platform for mathematical modeling support Temetos is decribed. The Temetos platform ..." | ||
| Том 36, № 1 (2024) | Архитектура программного обеспечения для разработки системы совместной медицинской деятельности при реабилитации инсультов | Аннотация похожие документы |
| София Исабель ФЕРНАНДЕС ГРЕГОРИО, Луис Херардо МОНТАНЕ-ХИМЕНЕС , Кармен МЕСУРА ГОДОЙ, Вивиана Ярель РОСАЛЕС-МОРАЛЕС | ||
| "... computing software and devices. The interactions represent medical activities that follow rehabilitation ..." | ||
| Том 37, № 4: часть 1. июль-август | HOREC: компилятор специализированных регулярных выражений для проектирования программируемой и ресурсоэффективной аппаратной архитектуры | Аннотация PDF (Rus) похожие документы |
| Пётр Николаевич СОВЕТОВ | ||
| "... in instructions and decrease the total number of instructions. The paper presents a software model ..." | ||
| Том 36, № 5 (2024) | Архитектура открытого программного комплекса UEMKA для управления целевыми устройствами SMART-наноспутников | Аннотация PDF (Rus) похожие документы |
| Георгий Александрович ЩЕГЛОВ, Кристина Александровна ЖДАНОВА, Зайнулла Серикович ЖУМАЕВ, Никита Дмитриевич КАМЕНЕВ | ||
| "... software for on-board computing devices and “smart” payloads. The development of an open software package ..." | ||
| Том 28, № 2 (2016) | Устройство и архитектура операционной системы реального времени | Аннотация похожие документы |
| К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов | ||
| "... software in on-board computers. International standard ARINC 653 defines constraints on the underlying real ..." | ||
| Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... execution. The functional purpose of this system is to investigate arbitrary executable files ..." | ||
| Том 34, № 2 (2022) | Веб-приложение для продвижения донорства крови в России | Аннотация похожие документы |
| Павел Алексеевич СМИРНОВ, Вера Владимировна МАЛИНОВСКАЯ, Никита Владимирович ВОИНОВ | ||
| "... using modern information technologies. Existing software solutions are analyzed and new Web application ..." | ||
| Том 35, № 4 (2023) | Технология синтеза программных комплексов с гибридной визуализацией Vulkan-OpenGL | Аннотация PDF (Rus) похожие документы |
| Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК | ||
| "... , into OpenGL-based software complexes, is considered. A low-level hybrid approach to implement ..." | ||
| Том 30, № 4 (2018) | Библиотека программирования гетерогенных архитектур | Аннотация похожие документы |
| Г. В. Киргизов, Я. А. Кириленко | ||
| "... primary and one or more secondary processors. Development of software systems for these platforms poses ..." | ||
| Том 30, № 5 (2018) | Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем | Аннотация PDF (Rus) похожие документы |
| А. В. Самонов, Г. Н. Самонова | ||
| "... software and hardware systems through the implementation of the software-controlled process of development ..." | ||
| Том 29, № 4 (2017) | Cтохастические методы анализа комплексных программно-аппаратных систем | Аннотация похожие документы |
| А. А. Карнов, С. В. Зеленов | ||
| "... In this paper we consider Markov analysis of models of complex software and hardware systems ..." | ||
| Том 20 (2011) | Развитие taint-анализа для решения задачи поиска программных закладок | Аннотация PDF (Rus) похожие документы |
| А. Ю. Тихонов, А. И. Аветисян | ||
| "... break confidentiality. In this approach, programs are presented in the form of stripped executables ..." | ||
| Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
| С. В. Козин, В. С. Мутилин | ||
| "... The Linux kernel is often used as a real world case study to demonstrate novel software product ..." | ||
| Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
| "... разработчика, в данной работе был проведён анализ архитектуры QEMU и процесса разработки моделей отдельных ..." | ||
| Том 33, № 2 (2021) | Исследование задачи обеспечения безопасности при хранении и обработке конфиденциальных данных | Аннотация PDF (Rus) похожие документы |
| Сергей Анатольевич МАРТИШИН, Марина Валерьевна ХРАПЧЕНКО, Александр Владимирович ШОКУРОВ | ||
| "... of cloud computing over confidential data using free software. It is based on lambda architecture combined ..." | ||
| Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
| К. А. Маллачиев, А. В. Хорошилов | ||
| "... language. Our model is executable; this allows configurator to quickly verify the correctness of component ..." | ||
| Том 34, № 1 (2022) | Оценка уровня защищенности недоверенного программного обеспечения на основе технологии TrustZone | Аннотация похожие документы |
| Дмитрий Олегович МАРКИН, Сергей Михайлович МАКЕЕВ, Чунг Тхай ХО | ||
| "... software from the components of the TrustZone technology. The results of vulnerability analysis ..." | ||
| Том 34, № 1 (2022) | Программная реализация системы обработки метаграфов на основе подхода Больших Данных | Аннотация похожие документы |
| Валерий Михайлович ЧЕРНЕНЬКИЙ, Иван Владимирович ДУНИН, Юрий Евгеньевич ГАПАНЮК | ||
| "... . Обсуждается архитектура системы по обработке метаграфов. Обсуждается обработка с использованием метаграфовых ..." | ||
| Том 31, № 1 (2019) | К разработке открытого программного обеспечения для реконструкции CAD-моделей | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич Сляднев, Вадим Евгеньевич Турлапов | ||
| "... We describe an open source software package aimed at solving reverse engineering problems for CAD ..." | ||
| Том 35, № 5 (2023) | Метод мутации сложноструктурированных входных данных при фаззинг-тестировании JavaScript интерпретаторов | Аннотация PDF (Rus) похожие документы |
| Наталья Сергеевна ЕРОХИНА | ||
| "... архитектуры. Наиболее распространенные сегодня фаззеры не способны эффективно мутировать ..." | ||
| Том 27, № 3 (2015) | Бесшовная разработка программного обеспечения: применимость на примере | Аннотация PDF (Rus) похожие документы |
| Александр Наумчев | ||
| "... Requirements and code, in conventional software engineering wisdom, belong to entirely different ..." | ||
| Том 28, № 6 (2016) | Моделирование семейств программных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, А. К. Петренко | ||
| "... Complex software systems always exist for a long time, sometimes changing, and this leads ..." | ||
| Том 32, № 3 (2020) | Подход к трансляции таблицы потоков коммутатора программно-конфигурируемой сети в язык ассемблера сетевого процессора | Аннотация похожие документы |
| Андрей Александрович МАРКОБОРОДОВ, Юлия Александровна СКОБЦОВА, Дмитрий Юрьевич ВОЛКАНОВ | ||
| "... память СПУ. Архитектура рассматриваемого СПУ также обладает особенностью, заключающейся в необходимости ..." | ||
| Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... for software quality assurance which are currently used in practice help to identify and to fix quite a number ..." | ||
| Том 30, № 1 (2018) | Оптимизация доступа к страницам памяти в системах, использующих программную реализацию глобального страничного кеша | Аннотация PDF (Rus) похожие документы |
| Е. И. Гусев | ||
| "... (Oracle RAC) и проводится его сравнение с другими известными способами в контексте сравнения архитектур ..." | ||
| Том 34, № 5 (2022) | Исследование методов построения облачных платформенных сервисов и реализаций стандарта TOSCA | Аннотация PDF (Rus) похожие документы |
| Александра Андреевна БОРИСОВА, Олег Дмитриевич БОРИСЕНКО | ||
| "... . Changes in software architecture and development approaches require automation of deployment management ..." | ||
| Том 30, № 5 (2018) | Информатика: становление программного обеспечения и технологий программных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, А. К. Петренко | ||
| "... Formation of Informatics and aspects of computer software development, in particular, operating ..." | ||
| Том 31, № 5 (2019) | DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей | Аннотация PDF (Rus) похожие документы |
| Ахмед Хан | ||
| "... To develop common software systems, engineers and designers are currently using an object-oriented ..." | ||
| Том 27, № 3 (2015) | Программные средства для организации и поддержки игровой дистанционной обучающей системы «3Ducation» | Аннотация PDF (Rus) похожие документы |
| Лариса Зеленко, Дмитрий Конопелькин, Виталий Иванов, Александр Григорьев, Александр Семенов, Михаил Савачаев, Ефим Поберёзкин | ||
| "... Ducation», as well as the purpose and capabilities of all its constituent software components, describes ..." | ||
| Том 29, № 5 (2017) | Программное обеспечение для создания адаптивных сеток | Аннотация PDF (Rus) похожие документы |
| А. Н. Семакин | ||
| "... In this paper, we present a software package for the construction of an adaptive finite-difference ..." | ||
| Том 33, № 4 (2021) | Об одном методе синхронизации состояния алгоритма обработки пакетов в сетевом процессорном устройстве | Аннотация похожие документы |
| Ярослав Константинович КУЗЬМИН, Дмитрий Юрьевич ВОЛКАНОВ, Юлия Александровна СКОБЦОВА | ||
| "... are developing in software-defined networks. The idea of stateful data-plane algorithms is to move a part ..." | ||
| 1 - 41 из 576 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
