Сортировать по:
| Выпуск | Название | |
| Том 36, № 3 (2024) | Перспективы использования доверенной информационной аналитической системы на базе платформы Талисман с применением методов искусственного интеллекта для повышения эффективности эксплуатации сложных аппаратных систем | Аннотация PDF (Rus) похожие документы |
| Филипп Аркадьевич КОЛОКОЛЬНИКОВ, Владимир Владимирович ОРЛОВ, Денис Юрьевич ТУРДАКОВ | ||
| "... of importing, automatic processing, structuring and analyzing information based on components of the Talisman ..." | ||
| Том 35, № 5 (2023) | Разработка доверенных средств проектирования ИС в базисе гетерогенных ПЛИС | Аннотация PDF (Rus) похожие документы |
| Сергей Витальевич ГАВРИЛОВ, Даниил Александрович ЖЕЛЕЗНИКОВ, Мария Андреевна ЗАПЛЕТИНА, Иван Викторович ТИУНОВ, Василий Михайлович ХВАТОВ, Рустам Жамболатович ЧОЧАЕВ, Дмитрий Борисович ШОКАРЕВ | ||
| "... This paper focuses on the development of trusted tools for designing digital circuits in the basis ..." | ||
| Том 26, № 2 (2014) | Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов | Аннотация PDF (Rus) похожие документы |
| О. В. Горемыкин | ||
| "... emulates a complete hardware environment including CPUs, peripheral devices (VGA cards, network interfaces ..." | ||
| Том 36, № 5 (2024) | Дилемма защитника: совместимы ли методы защиты от разных атак на модели машинного обучения? | Аннотация PDF (Rus) похожие документы |
| Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Игорь Николаевич МЕЛЕШИН | ||
| Том 27, № 3 (2015) | Удаленное обслуживание системных вызовов в микроядерном гипервизоре | Аннотация PDF (Rus) похожие документы |
| К. Маллачиев, Н. Пакулин | ||
| "... interfaces. For trusted applications Sevigator intercepts network-related system calls and routes them ..." | ||
| Том 34, № 1 (2022) | Оценка уровня защищенности недоверенного программного обеспечения на основе технологии TrustZone | Аннотация похожие документы |
| Дмитрий Олегович МАРКИН, Сергей Михайлович МАКЕЕВ, Чунг Тхай ХО | ||
| "... software and hardware based on processors with the ARM architecture. The main results of the work ..." | ||
| Том 36, № 5 (2024) | Так ли безопасна интерпретируемость ИИ: взаимосвязь интерпретируемости и защищенности моделей машинного обучения | Аннотация PDF (Rus) похожие документы |
| Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Серафим Константинович БОЯРСКИЙ, Илья Андреевич МАКАРОВ | ||
| Том 18 (2010) | Прозрачный механизм удаленного обслуживания системных вызовов | Аннотация PDF (Rus) похожие документы |
| П. Н. Яковенко | ||
| "... to somehow provide access to the hardware in the other virtual machine for the trusted applications bypassing ..." | ||
| Том 29, № 4 (2017) | Cтохастические методы анализа комплексных программно-аппаратных систем | Аннотация похожие документы |
| А. А. Карнов, С. В. Зеленов | ||
| "... In this paper we consider Markov analysis of models of complex software and hardware systems ..." | ||
| Том 20 (2011) | Использование аппаратной виртуализации в контексте информационной безопасности | Аннотация PDF (Rus) похожие документы |
| Д. В. Силаков | ||
| "... The paper describes possible ways of using hardware-assisted virtualization for solving different ..." | ||
| Том 29, № 5 (2017) | Моделирование программно-аппаратных систем и анализ их безопасности | Аннотация PDF (Rus) похожие документы |
| С. В. Зеленов, С. А. Зеленова | ||
| "... Hardware-software systems are widely used now and must be safe and reliable. Manual analysis ..." | ||
| Том 34, № 3 (2022) | Модификация алгоритма обнаружения и локализации ошибки в системе остаточных классов | Аннотация PDF (Rus) похожие документы |
| Андрей Владимирович ГЛАДКОВ, Виктор Андреевич КУЧУКОВ, Михаил Григорьевич БАБЕНКО, Андрей Николаевич ЧЕРНЫХ, Виктор Васильевич БЕРЕЖНОЙ, Александр Юльевич ДРОЗДОВ | ||
| "... Synthesis Solution. It significantly reduces the area of the hardware implementation increasing the packing ..." | ||
| Том 28, № 2 (2016) | Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей | Аннотация похожие документы |
| Д. Д. Кожевников, Н. В. Красилич | ||
| "... and environment for modelling hardware memristor-based neural networks. An extensive review of the domain has been ..." | ||
| Том 28, № 1 (2016) | Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах | Аннотация PDF (Rus) похожие документы |
| Е. В. Пальчевский, А. Р. Халиков | ||
| "... to the interaction of hardware and software core to ensure the stability of the physical server. The algorithms ..." | ||
| Том 34, № 1 (2022) | Исследование применимости аппаратной компрессии данных в межпроцессорных каналах связи процессоров с архитектурой Эльбрус | Аннотация PDF (Rus) похожие документы |
| Александр Викторович СУРЧЕНКО | ||
| "... , where bandwidth is significantly less than in processor data buses. Hardware data compression can ..." | ||
| Том 34, № 3 (2022) | Метод аппаратной реализации сверточной нейронной сети на основе системы остаточных классов | Аннотация PDF (Rus) похожие документы |
| Мария Васильевна ВАЛУЕВА, Георгий Вячеславович ВАЛУЕВ, Михаил Григорьевич БАБЕНКО, Андрей Николаевич ЧЕРНЫХ, Хорхе Марио КОРТЕС-МЕНДОСА | ||
| "... , we propose a hardware implementation method with calculations in the residue number system ..." | ||
| Том 32, № 4 (2020) | Модель производительности графического конвейера для однопроходной схемы рендеринга динамических трехмерных сцен | Аннотация PDF (Rus) похожие документы |
| Вячеслав Игоревич ГОНАХЧЯН | ||
| "... using spatial decomposition and indexing methods, hardware occlusion queries, fragmentation and caching ..." | ||
| Том 32, № 3 (2020) | Программно-аппаратный комплекс обработки данных для исследовательских и научных целей с использованием микрокомпьютера Raspberry Pi 3 | Аннотация похожие документы |
| Павел Александрович ПАНКОВ, Игорь Валерьевич НИКИФОРОВ, Дмитрий Фёдорович ДРОБИНЦЕВ | ||
| "... . The proposed hardware and software data processing system based on Raspberry Pi 3 microcomputer can be used ..." | ||
| Том 36, № 5 (2024) | Открытое промежуточное представление специализированных потоковых вычислителей, основанное на MLIR | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич КАМКИН, Михаил Юрьевич ЛИТВИНОВ, Иван Александрович ГРИГОРОВ | ||
| "... of general-purpose microprocessors and FPGA-based hardware accelerators implementing the most expensive ..." | ||
| Том 32, № 6 (2020) | Формальная верификация модели мандатного контроля целостности в операционной системе KasperskyOS | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич БУРЕНКОВ | ||
| "... of monolithic operating systems whose components that provide access to resources are part of the trusted ..." | ||
| Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
| С. А. Смолов | ||
| "... In this paper a survey of existing methods of model extraction from hardware system descriptions ..." | ||
| Том 32, № 1 (2020) | Модель мандатного контроля целостности в операционной системе KasperskyOS | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Буренков, Дмитрий Александрович Кулагин | ||
| "... that provide access to resources are part of the trusted computing base. However, the implementation ..." | ||
| Том 36, № 3 (2024) | SLAP – простая линейная атака на персептрон | Аннотация PDF (Rus) похожие документы |
| Андрей Игоревич ПЕРМИНОВ | ||
| Том 34, № 3 (2022) | Организация безопасного запроса к базе данных на облаке | Аннотация PDF (Rus) похожие документы |
| Сергей Анатольевич МАРТИШИН, Марина Валерьевна ХРАПЧЕНКО, Александр Владимирович ШОКУРОВ | ||
| "... , a user, clients, a trusted dealer, a passive adversary in the cloud. Also, the attacking side has ..." | ||
| Том 36, № 2 (2024) | Соревнования по формальной верификации VeHa-2023: опыт проведения | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ, Дмитрий Александрович КОНДРАТЬЕВ, Наталья Олеговна ГАРАНИНА, Ирина Владимировна ШОШМИНА | ||
| "... To create modern competitive and trusted software, it is necessary to use knowledge of formal ..." | ||
| Том 35, № 5 (2023) | Организация конфиденциальных запросов к облаку | Аннотация PDF (Rus) похожие документы |
| Николай Павлович ВАРНОВСКИЙ, Сергей Анатольевич МАРТИШИН, Марина Валерьевна ХРАПЧЕНКО, Александр Владимирович ШОКУРОВ | ||
| "... is proposed. It includes a cloud, an authentication center, a user, clients, trusted dealer, an active ..." | ||
| Том 18 (2010) | Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций | Аннотация PDF (Rus) похожие документы |
| М. М. Чупилко | ||
| "... This paper touches upon the problem of the system testing of interconnected hardware modules when ..." | ||
| Том 34, № 5 (2022) | Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич КАМКИН, Михаил Михайлович ЧУПИЛКО, Михаил Сергеевич ЛЕБЕДЕВ, Сергей Александрович СМОЛОВ, Георги ГАЙДАДЖИЕВ | ||
| "... or hardware construction tools. Nowadays, there are many frameworks available, both open-source and commercial ..." | ||
| Том 31, № 5 (2019) | Методы оценки надежности программных и технических систем | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин | ||
| "... and safety of software and hardware systems in the processes of their life cycle, as well as collecting ..." | ||
| Том 36, № 5 (2024) | Разработка вредоносного набора данных для защиты больших языковых моделей от атак | Аннотация PDF (Rus) похожие документы |
| Ирина Сергеевна АЛЕКСЕЕВСКАЯ, Константин Владимирович АРХИПЕНКО, Денис Юрьевич ТУРДАКОВ | ||
| Том 36, № 2 (2024) | TQL: тематическое исследование внедрения предметно-ориентированного языка в продукт | Аннотация похожие документы |
| Артём Дмитриевич БЕЛОУСОВ | ||
| "... developing TQL (Talisman Query Language) – a domain-specific language used in Talisman platform. Talisman ..." | ||
| Том 33, № 4 (2021) | Средства захвата и обработки высокоскоростного сетевого трафика | Аннотация PDF (Rus) похожие документы |
| Дмитрий Викторович ЛАРИН, Александр Игоревич ГЕТЬМАН | ||
| "... for this demand. These frameworks enable arbitrary packet processing systems to be built from commodity hardware ..." | ||
| Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. Д. Татарников | ||
| Том 20 (2011) | Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции | Аннотация PDF (Rus) похожие документы |
| А. C. Камкин, М. M. Чупилко | ||
| Том 21 (2011) | Динамическое профилирование программы для системы LLVM | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, К. Ю. Курмангалеев, Ш. Ф. Курмангалеев | ||
| "... -purpose languages compilation which takes into account the specific factors of target hardware ..." | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| "... Hardware testing is a process aimed at detecting manufacturing faults in integrated circuits ..." | ||
| Том 26, № 1 (2014) | Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты | Аннотация PDF (Rus) похожие документы |
| Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян | ||
| "... hardware architecture with static compilation using GCC and LLVM compilers as examples. We present some ..." | ||
| Том 33, № 6 (2021) | Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич КАМКИН, Сергей Александрович СМОЛОВ, Михаил Михайлович ЧУПИЛКО | ||
| "... analysis and topology generation hardware design stages. The following tools have been described: qFlow ..." | ||
| Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко | ||
| "... for software and hardware systems, including telecommunication protocols, basic and standard interfaces ..." | ||
| 1 - 39 из 125 результатов | 1 2 3 4 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
