Сортировать по:
| Выпуск | Название | |
| Том 18 (2010) | Прозрачный механизм удаленного обслуживания системных вызовов | Аннотация PDF (Rus) похожие документы |
| П. Н. Яковенко | ||
| "... on the remote system call execution. The presented approach uses hardware virtualization and allows executing ..." | ||
| Том 27, № 3 (2015) | Удаленное обслуживание системных вызовов в микроядерном гипервизоре | Аннотация PDF (Rus) похожие документы |
| К. Маллачиев, Н. Пакулин | ||
| "... interfaces. For trusted applications Sevigator intercepts network-related system calls and routes them ..." | ||
| Том 27, № 6 (2015) | Использование ABI для интроспекции виртуальных машин | Аннотация PDF (Rus) похожие документы |
| Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев | ||
| "... binary interfaces, such as calling conventions and the numbers and parameters of system calls. The idea ..." | ||
| Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
| А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
| "... of the application through system calls. With a detailed study of the mechanism of system calls, you can find a lot ..." | ||
| Том 36, № 5 (2024) | Идентификация реквизитов сборки через отслеживание системных вызовов | Аннотация PDF (Rus) похожие документы |
| Артемий Максимович ГРАНАТ, Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Инна Александровна БАТРАЕВА, Дмитрий Юрьевич ПЕТРОВ | ||
| "... calls. An estimate of the time spent on build process using the buildography tool is given. ..." | ||
| Том 18 (2010) | Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций | Аннотация PDF (Rus) похожие документы |
| М. М. Чупилко | ||
| "... This paper touches upon the problem of the system testing of interconnected hardware modules when ..." | ||
| Том 31, № 3 (2019) | Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров | Аннотация похожие документы |
| Павел Викторович Фролов | ||
| "... контроллер в составе полной системы-на-кристалле. Для верификации системного уровня библиотека и тестовая ..." | ||
| Том 26, № 2 (2014) | Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов | Аннотация PDF (Rus) похожие документы |
| О. В. Горемыкин | ||
| "... emulates a complete hardware environment including CPUs, peripheral devices (VGA cards, network interfaces ..." | ||
| Том 32, № 2 (2020) | Платформа автоматического фаззинга программного интерфейса приложений | Аннотация PDF (Rus) похожие документы |
| Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ | ||
| "... calls is mutated. Mutation can add new API functions calls or remove some of them. After API calls ..." | ||
| Том 33, № 6 (2021) | Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА | ||
| "... the function call stack for a specific thread. Building a call stack without information about the running ..." | ||
| Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
| "... hardware. For example, a call to virtual functions can be implemented either through a switch construct ..." | ||
| Том 30, № 3 (2018) | Применение глубокого машинного обучения к синтезу цепочки вызовов C# | Аннотация похожие документы |
| А. Е. Чебыкин, Я. А. Кириленко | ||
| "... tool. Given English description of the desired functionality, sequence of Java function calls ..." | ||
| Том 29, № 4 (2017) | Cтохастические методы анализа комплексных программно-аппаратных систем | Аннотация похожие документы |
| А. А. Карнов, С. В. Зеленов | ||
| "... In this paper we consider Markov analysis of models of complex software and hardware systems ..." | ||
| Том 34, № 5 (2022) | Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич КАМКИН, Михаил Михайлович ЧУПИЛКО, Михаил Сергеевич ЛЕБЕДЕВ, Сергей Александрович СМОЛОВ, Георги ГАЙДАДЖИЕВ | ||
| "... or hardware construction tools. Nowadays, there are many frameworks available, both open-source and commercial ..." | ||
| Том 20 (2011) | Использование аппаратной виртуализации в контексте информационной безопасности | Аннотация PDF (Rus) похожие документы |
| Д. В. Силаков | ||
| "... The paper describes possible ways of using hardware-assisted virtualization for solving different ..." | ||
| Том 31, № 5 (2019) | Методы оценки надежности программных и технических систем | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин | ||
| "... and safety of software and hardware systems in the processes of their life cycle, as well as collecting ..." | ||
| Том 29, № 5 (2017) | Моделирование программно-аппаратных систем и анализ их безопасности | Аннотация PDF (Rus) похожие документы |
| С. В. Зеленов, С. А. Зеленова | ||
| "... Hardware-software systems are widely used now and must be safe and reliable. Manual analysis ..." | ||
| Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| "... the behavior of: partition and process schedulers, system calls through a software interrupt, kernel libraries ..." | ||
| Том 30, № 5 (2018) | Подход к анализу исполняемого кода на основе восстановления программной архитектуры | Аннотация PDF (Rus) похожие документы |
| Д. С. Кононов | ||
| "... space and on the call graph. A description of the implementation of the developed method as a plug ..." | ||
| Том 34, № 1 (2022) | Исследование применимости аппаратной компрессии данных в межпроцессорных каналах связи процессоров с архитектурой Эльбрус | Аннотация PDF (Rus) похожие документы |
| Александр Викторович СУРЧЕНКО | ||
| "... , where bandwidth is significantly less than in processor data buses. Hardware data compression can ..." | ||
| Том 34, № 3 (2022) | Модификация алгоритма обнаружения и локализации ошибки в системе остаточных классов | Аннотация PDF (Rus) похожие документы |
| Андрей Владимирович ГЛАДКОВ, Виктор Андреевич КУЧУКОВ, Михаил Григорьевич БАБЕНКО, Андрей Николаевич ЧЕРНЫХ, Виктор Васильевич БЕРЕЖНОЙ, Александр Юльевич ДРОЗДОВ | ||
| "... Synthesis Solution. It significantly reduces the area of the hardware implementation increasing the packing ..." | ||
| Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. Д. Татарников | ||
| Том 20 (2011) | Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции | Аннотация PDF (Rus) похожие документы |
| А. C. Камкин, М. M. Чупилко | ||
| Том 28, № 1 (2016) | Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах | Аннотация PDF (Rus) похожие документы |
| Е. В. Пальчевский, А. Р. Халиков | ||
| "... to the interaction of hardware and software core to ensure the stability of the physical server. The algorithms ..." | ||
| Том 28, № 2 (2016) | Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей | Аннотация похожие документы |
| Д. Д. Кожевников, Н. В. Красилич | ||
| "... and environment for modelling hardware memristor-based neural networks. An extensive review of the domain has been ..." | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| "... Hardware testing is a process aimed at detecting manufacturing faults in integrated circuits ..." | ||
| Том 34, № 3 (2022) | Метод аппаратной реализации сверточной нейронной сети на основе системы остаточных классов | Аннотация PDF (Rus) похожие документы |
| Мария Васильевна ВАЛУЕВА, Георгий Вячеславович ВАЛУЕВ, Михаил Григорьевич БАБЕНКО, Андрей Николаевич ЧЕРНЫХ, Хорхе Марио КОРТЕС-МЕНДОСА | ||
| "... , we propose a hardware implementation method with calculations in the residue number system ..." | ||
| Том 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 ..." | ||
| Том 28, № 5 (2016) | Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов | ||
| "... call graph which contains only calls to functions which ends with the function of interest, then we ..." | ||
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| "... Model-based test generation is widely spread in functional verification of hardware designs ..." | ||
| Том 31, № 3 (2019) | Поиск конфликтов доступа к данным в HDL-описаниях | Аннотация похожие документы |
| Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов | ||
| "... Data access conflicts may arise in hardware designs. One of the ways of detecting such conflicts ..." | ||
| Том 32, № 4 (2020) | Модель производительности графического конвейера для однопроходной схемы рендеринга динамических трехмерных сцен | Аннотация PDF (Rus) похожие документы |
| Вячеслав Игоревич ГОНАХЧЯН | ||
| "... using spatial decomposition and indexing methods, hardware occlusion queries, fragmentation and caching ..." | ||
| Том 26, № 1 (2014) | Средства функциональной верификации микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов | ||
| "... them. The main part of the article is dedicated to research in the field of hardware verification ..." | ||
| Том 32, № 3 (2020) | Программно-аппаратный комплекс обработки данных для исследовательских и научных целей с использованием микрокомпьютера Raspberry Pi 3 | Аннотация похожие документы |
| Павел Александрович ПАНКОВ, Игорь Валерьевич НИКИФОРОВ, Дмитрий Фёдорович ДРОБИНЦЕВ | ||
| "... . The proposed hardware and software data processing system based on Raspberry Pi 3 microcomputer can be used ..." | ||
| Том 31, № 5 (2019) | Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» | Аннотация PDF (Rus) похожие документы |
| Александр Валерьянович Самонов | ||
| "... . Ontologies describe the quality management processes of software and hardware complexes at the stages ..." | ||
| Том 30, № 5 (2018) | Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем | Аннотация PDF (Rus) похожие документы |
| А. В. Самонов, Г. Н. Самонова | ||
| "... software and hardware systems through the implementation of the software-controlled process of development ..." | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... representation, which is used as an input to the main SvEng analyzer. The analyzer builds a call graph ..." | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| "... Automated test generation is a promising direction in hardware verification research area ..." | ||
| 1 - 39 из 216 результатов | 1 2 3 4 5 6 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
