Сортировать по:
| Выпуск | Название | |
| Том 22 (2012) | О построении аппроксимирующих функций характеристик малого числа систем | Аннотация PDF (Rus) похожие документы |
| Я. А. Хетагуров | ||
| "... characteristics of systems, parts, devices. Linear and hyperbolic approximating dependences will be applied ..." | ||
| Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... In static device driver verification of Linux operating system it is necessary to take into account ..." | ||
| Том 28, № 2 (2016) | Устройство и архитектура операционной системы реального времени | Аннотация похожие документы |
| К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов | ||
| "... Modular Avionics (IMA) architecture for airborne systems. This architecture is based on interconnection ..." | ||
| Том 34, № 4 (2022) | Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений | Аннотация PDF (Rus) похожие документы |
| Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
| "... working with IoT devices. The article discusses the use of full-system symbolic execution for the analysis ..." | ||
| Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... and existing driver verification systems are described including Microsoft SDV for Windows operating system ..." | ||
| Том 27, № 5 (2015) | Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время | Аннотация PDF (Rus) похожие документы |
| А. С. Асратян, Н. Н. Кузюрин | ||
| Том 31, № 5 (2019) | Интроспекция конфигурации периферийных устройств эмулятора QEMU | Аннотация PDF (Rus) похожие документы |
| Наталья Игоревна Фурсова, Павел Михайлович Довгалюк | ||
| "... QEMU is a widely used and fairly accurate emulator capable of emulating dozens of guest systems ..." | ||
| Том 30, № 3 (2018) | Верификация контроллеров связи в системах на кристалле | Аннотация похожие документы |
| М. В. Петроченков, Р. Е. Муштаков, Д. И. Шпагилев | ||
| "... This article presents an approach used to verify communication controllers developed for Systems ..." | ||
| Том 31, № 3 (2019) | Разработка программной среды для управления интеллектуальными устройствами в реальном времени | Аннотация похожие документы |
| Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович | ||
| "... of intelligent devices. The framework enables intelligent management of IoT devices in cyber-physical systems ..." | ||
| Том 29, № 4 (2017) | Верификация контроллеров 10 гигабитного Ethernet | Аннотация похожие документы |
| М. В. Петроченков, Р. Е. Муштаков, И. А. Стотланд | ||
| "... direct memory access, and their characteristics. We describe a set of approaches used to verify ..." | ||
| Том 31, № 6 (2019) | Применение сеточно-характеристического метода для решения задач распространения динамических волновых возмущений на высокопроизводительных вычислительных системах | Аннотация PDF (Rus) похожие документы |
| Николай Игоревич Хохлов, Игорь Борисович Петров | ||
| "... -characteristic method. Technologies are considered both for central processing units (CPUs) and for graphic ..." | ||
| Том 27, № 2 (2015) | Об особенностях детерминированного воспроизведения при минимальном наборе устройств | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, К. А. Батузов, В. А. Падарян | ||
| "... the execution. The implementation has been tested on popular operating systems: Windows XP, Windows 7 and GNU ..." | ||
| Том 30, № 6 (2018) | Конфигурационная сборка варианта ядра Linux для прикладных систем | Аннотация PDF (Rus) похожие документы |
| С. В. Козин | ||
| "... The Linux operating system is a modern open operating system containing more than 10 ..." | ||
| Том 29, № 6 (2017) | Программный пакет для расчета аэродинамических характеристик летательных аппаратов | Аннотация похожие документы |
| В. Н. Котеров, В. М. Кривцов, В. И. Зубов | ||
| "... потоков газа в сложных устройствах. Модель математического потока, используемая в пакете, основана на ..." | ||
| Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| Том 31, № 2 (2019) | Эффективное сравнение чисел в системе остаточных классов на основе позиционной характеристики | Аннотация PDF (Rus) похожие документы |
| Михаил Григорьевич Бабенко, Андрей Николаевич Черных, Николай Иванович Червяков, Виктор Андреевич Кучуков, Ванесса Миранда-Лопес, Рауль Ривера Родригес, Чжихуэй Ду | ||
| "... and comparison of its positional characteristics in the positional number system. In this paper, we propose a new ..." | ||
| Том 36, № 3 (2024) | Точный метод отслеживания объектов в реальном времени для устройств с ограниченными ресурсами | Аннотация похожие документы |
| Армен САРДАРЯН, Вардан СААКЯН, Ваагн МЕЛКОНЯН, Севак САРГСЯН | ||
| "... tracking system that leverages the strengths of transformer-based neural networks in combination ..." | ||
| Том 33, № 5 (2021) | Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU | Аннотация PDF (Rus) похожие документы |
| Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
| "... and tools for analyzing such devices. A significant part of similar devices run under operating systems (OS ..." | ||
| Том 20 (2011) | Архитектура Linux Driver Verification | Аннотация PDF (Rus) похожие документы |
| В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед | ||
| "... The paper discusses requirements to a twofold verification system that should be an open platform ..." | ||
| Том 31, № 3 (2019) | Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы | Аннотация похожие документы |
| Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков | ||
| "... State of the art microprocessor systems usually include complex hierarchy of a cache memory ..." | ||
| Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| "... Real-time partitioned operating systems meet the current avionics standard of reliable software ..." | ||
| Том 23 (2012) | Тестирование драйверов файловых систем в ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. В. Цыварев, В. А. Мартиросян | ||
| "... The paper investigates issues of Linux file system driver testing. Linux file system drivers ..." | ||
| Том 31, № 3 (2019) | Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров | Аннотация похожие документы |
| Павел Викторович Фролов | ||
| "... Development of system-on-chips or network-on-chips requires verification of standalone units ..." | ||
| Том 25 (2013) | Определение демографических атрибутов пользователей микроблогов | Аннотация PDF (Rus) похожие документы |
| Антон Коршунов, Иван Белобородов, Андрей Гомзин, Кристина Чуприна, Никита Астраханцев, Ярослав Недумов, Денис Турдаков | ||
| "... . At the same time, knowing values of user attributes allows to enhance the performance of recommender systems ..." | ||
| Том 35, № 2 (2023) | О проблемах при моделировании плоских течений вязкой жидкости при повышенных значениях числа Рейнольдса вихревыми методами в программном комплексе VM2D | Аннотация PDF (Rus) похожие документы |
| Ирина Александровна КОРОБОВА, Евгения Павловна РЯТИНА, Анна Александровна ХОРОШЕВА | ||
| "... University and Ivannikov Institute for System Programming. This code allows for flow simulating around ..." | ||
| Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация похожие документы |
| В. В. Никифоров, С. Н. Баранов | ||
| "... an embedded real-time operating system (OS). The OS reliability is extremely important for correct ..." | ||
| Том 22 (2012) | Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU | Аннотация PDF (Rus) похожие документы |
| К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян | ||
| "... In the paper we evaluate two approaches to full-system deterministic replay. Both of them allow ..." | ||
| Том 35, № 3 (2023) | Отладчик декларативного DSL для разработки телекоммуникационных систем | Аннотация похожие документы |
| Тарас Михайлович СКАЖЕНИК, Дмитрий Владимирович КОЗНОВ | ||
| "... логики, а для описания данных (базы данных сетевого устройства, структуры данных целевого кода и т.д.) и ..." | ||
| Том 27, № 3 (2015) | Удаленное обслуживание системных вызовов в микроядерном гипервизоре | Аннотация PDF (Rus) похожие документы |
| К. Маллачиев, Н. Пакулин | ||
| "... This paper presents further development of Sevigator hypervisor-based security system. Original ..." | ||
| Том 30, № 4 (2018) | Динамическая верификация контроллеров шин систем-на-кристалле | Аннотация похожие документы |
| М. М. Чупилко, Е. А. Дроздова | ||
| "... The paper presents an approach to verification of commutation components of Systems-on-Chip ..." | ||
| Том 35, № 5 (2023) | Открытая система хранения и обработки набора данных комбинационных схем | Аннотация похожие документы |
| Данил Александрович МЯЧИН, Виктория Павловна ПУГАЧ, Степан Сергеевич АВДЕЮК, Владимир Викторович ЗУНИН, Александр Юрьевич РОМАНОВ | ||
| "... и сформирован датасет. Генерация комбинационных схем может осуществляться на различных устройствах ..." | ||
| Том 33, № 1 (2021) | Интеллектуальный метод автоматического отслеживания объектов путем интеграции лазерного сканирования и инерциальной навигации | Аннотация PDF (Rus) похожие документы |
| Хулио Сезар РОДРИГЕС-КИНЬОНЕС | ||
| "... , this technology has not yet been able to effectively be integrated with mobile systems that work inside buildings ..." | ||
| Том 29, № 2 (2017) | Турбулентная конвекция термоэлектричеством в охладительно-нагревательном устройстве | Аннотация похожие документы |
| Х. М. Редондо, Дж. Д. Теллес-Альварес, Х. М. Санчес | ||
| "... поток, при использовании массива термоэлектрических устройств (элементы Peltier/Seebeck), которые ..." | ||
| Том 26, № 5 (2014) | Применение графических ускорителей для расчета гидродинамических характеристик гребных винтов в пакете OpenFOAM | Аннотация PDF (Rus) похожие документы |
| Б. И. Краснопольский, А. В. Медведев, А. Ю. Чулюнин | ||
| "... on one practical problem of a screw propeller characteristics modeling, optimizations to OpenFOAM via ..." | ||
| Том 28, № 3 (2016) | Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров | Аннотация похожие документы |
| М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков | ||
| "... . We describe the method to support memory consistency in a system using cache coherence protocol ..." | ||
| Том 37, № 3 (2025) | Тестирование в жизненном цикле автоматизированных систем | Аннотация PDF (Rus) похожие документы |
| Борис Аронович ПОЗИН | ||
| "... Software testing of automated systems at different stages of their life cycle (LC) differs ..." | ||
| Том 22 (2012) | Перспективы виртуализации высокопроизводительных систем архитектуры x64 | Аннотация PDF (Rus) похожие документы |
| А. О. Кудрявцев, В. К. Кошелев, А. И. Аветисян | ||
| "... high performance systems. The main reasons for performance overhead when running parallel programs ..." | ||
| Том 34, № 3 (2022) | Метод аппаратной реализации сверточной нейронной сети на основе системы остаточных классов | Аннотация PDF (Rus) похожие документы |
| Мария Васильевна ВАЛУЕВА, Георгий Вячеславович ВАЛУЕВ, Михаил Григорьевич БАБЕНКО, Андрей Николаевич ЧЕРНЫХ, Хорхе Марио КОРТЕС-МЕНДОСА | ||
| "... , we propose a hardware implementation method with calculations in the residue number system ..." | ||
| Том 27, № 6 (2015) | Использование ABI для интроспекции виртуальных машин | Аннотация PDF (Rus) похожие документы |
| Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев | ||
| "... interface. The purpose of the method is to get information about the system, while having a minimum ..." | ||
| 1 - 39 из 659 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
