Сортировать по:
| Выпуск | Название | |
| Том 31, № 4 (2019) | Средства трассировки ОС РВ семейства «Багет» | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Годунов, Федор Николаевич Чемерев | ||
| "... and Analyzing the Event Logs for RTOS ‘Baget’ family”, developed with the toolkit for creating graphical user ..." | ||
| Том 32, № 3 (2020) | Трассировка сетевых пакетов в ядре Linux с использованием eBPF | Аннотация похожие документы |
| Марк Германович КОВАЛЕВ | ||
| "... and powerful way to run a userspace code inside the kernel. In this paper, an approach to tracing the path ..." | ||
| Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
| А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
| "... this, there are many different tools for debugging and tracing written programs. One of these tools is the analysis ..." | ||
| Том 29, № 4 (2017) | Использование модульного подхода во встраиваемых операционных системах | Аннотация похожие документы |
| К. А. Маллачиев, Н. В. Пакулин, А. В. Хорошилов, Д. В. Буздалов | ||
| "... on the RTOS JetOS. The mechanism of components binding developed by us allows uniting heterogeneous components ..." | ||
| Том 28, № 2 (2016) | Устройство и архитектура операционной системы реального времени | Аннотация похожие документы |
| К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов | ||
| Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
| К. А. Маллачиев, А. В. Хорошилов | ||
| "... in RTOS JetOS. ..." | ||
| Том 36, № 5 (2024) | Идентификация реквизитов сборки через отслеживание системных вызовов | Аннотация PDF (Rus) похожие документы |
| Артемий Максимович ГРАНАТ, Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Инна Александровна БАТРАЕВА, Дмитрий Юрьевич ПЕТРОВ | ||
| Том 35, № 5 (2023) | Применение нейронных сетей для сегментации изображений в задаче быстрой трассировки интегральных схем | Аннотация PDF (Rus) похожие документы |
| Тимур Маратович КАДИРЛИЕВ, Дмитрий Владимирович ТЕЛЬПУХОВ, Роман Александрович СОЛОВЬЁВ | ||
| "... трассировки интегральных схем. Разработан алгоритм генерации обучающей выборки на основе волнового алгоритма ..." | ||
| Том 30, № 5 (2018) | Отслеживание операций с файловой системой ext3 в эмуляторе QEMU | Аннотация PDF (Rus) похожие документы |
| В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев | ||
| Том 22 (2012) | Комбинированный (статический и динамический) анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| А. Ю. Тихонов, А. И. Аветисян | ||
| "... tracing and consecutive representation lifting: OS-aware events, process/thread identification, fully ..." | ||
| Том 29, № 3 (2017) | Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов | Аннотация PDF (Rus) похожие документы |
| Ю. А. Солоделов, Н. К. Горелиц | ||
| "... JetOS is a prospective onboard real-time operating system (RTOS). Nowadays GosNIIAS develops JetOS ..." | ||
| Том 18 (2010) | Технология создания гетерогенных трасс, их анализа и генерации из них отчётов | Аннотация PDF (Rus) похожие документы |
| С. Г. Грошев | ||
| "... В статье описывается архитектура модульной системы трассировки (журнализации, логгирования) и ..." | ||
| Том 35, № 5 (2023) | Разработка доверенных средств проектирования ИС в базисе гетерогенных ПЛИС | Аннотация PDF (Rus) похожие документы |
| Сергей Витальевич ГАВРИЛОВ, Даниил Александрович ЖЕЛЕЗНИКОВ, Мария Андреевна ЗАПЛЕТИНА, Иван Викторович ТИУНОВ, Василий Михайлович ХВАТОВ, Рустам Жамболатович ЧОЧАЕВ, Дмитрий Борисович ШОКАРЕВ | ||
| Том 35, № 3 (2023) | Подходы к развертыванию в распределенной обработке сложных событий | Аннотация похожие документы |
| Арсений Андреевич ЗОРИН, Ирина Евгеньевна ЧЕРНЕЦКАЯ | ||
| "... высокоструктурированными, часто в виде серии событий. В этой статье мы стремимся предоставить всесторонний обзор основных ..." | ||
| Том 33, № 3 (2021) | Механизированная теория структур событий: случай параллельной регистровой машины | Аннотация похожие документы |
| Владимир Петрович ГЛАДШТЕЙН, Дмитрий Владимирович МИХАЙЛОВСКИЙ, Евгений Александрович МОИСЕЕНКО, Антон Александрович ТРУНОВ | ||
| "... Модели истинной конкурентности и, в частности, структуры событий были представлены в 1980-ых как ..." | ||
| Том 35, № 3 (2023) | Синтез моделей процессов по журналам событий мультиагентных систем с помощью отношений между событиями | Аннотация похожие документы |
| Анастасия Андреевна ШЕРСТЮГИНА, Роман Александрович НЕСТЕРОВ | ||
| "... Структура модели процесса, синтезированной напрямую по журналу событий мультиагентной системы ..." | ||
| Том 36, № 1 (2024) | Систематический обзор литературы по визуальному распознаванию событий с людьми: выявление значимых событий и их применение | Аннотация похожие документы |
| Мария Луиза КОРДОБА-ТЛАКСКАЛЬТЕКО, Эдгард БЕНИТЕС-ГЕРРЕРО | ||
| "... Область распознавания человеческих событий на основе видения в интеллектуальных средах стала ..." | ||
| Том 28, № 3 (2016) | Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... основе журналов событий информационных систем с сервис-ориентированной архитектурой (SOA). Диаграммы ..." | ||
| Том 31, № 4 (2019) | Симуляция сетей Петри с ингибиторными дугами и дугами сброса | Аннотация похожие документы |
| Павел Алексеевич Перцухов, Алексей Александрович Мицюк | ||
| "... Журналы событий программных систем используются для анализа их поведения и взаимодействия между ..." | ||
| Том 30, № 3 (2018) | Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами | Аннотация похожие документы |
| Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова | ||
| Том 28, № 3 (2016) | Применение MapReduce для проверки соответствия моделей процессов и логов событий | Аннотация похожие документы |
| И. С. Шугуров, А. А. Мицюк | ||
| "... основываются на анализе истории выполнения процессов, которая представляется в виде логов событий. Проверка ..." | ||
| Том 24 (2013) | Автоматизация регрессионного тестирования при помощи анализа трасс событий | Аннотация PDF (Rus) похожие документы |
| Владимир Федотов | ||
| "... при обработке на шине события анализируются представленным в работе алгоритмом, результатом работы ..." | ||
| Том 23 (2012) | Обнаружение периодических наборов событий во временных базах данных | Аннотация PDF (Rus) похожие документы |
| Е. A. Иванникова. | ||
| "... . Существующие алгоритмы обнаружения периодических событий и новый подход подробно рассматриваются в статье ..." | ||
| Том 31, № 4 (2019) | Метод построения UML диаграмм деятельности по журналам событий | Аннотация похожие документы |
| Наталья Сергеевна Зубкова, Сергей Андреевич Шершаков | ||
| "... . Модели, построенные по журналам событий, могут предоставить ценную информацию о реальные процессах в ..." | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков | ||
| "... generation by tracing tainted data, collecting path conditions, and satisfiability checking. The proposed ..." | ||
| Том 22 (2012) | Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU | Аннотация PDF (Rus) похожие документы |
| К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян | ||
| "... is that deterministic part includes CPU, RAM, and video adapter. This allows debugging, tracing, and analyzing ..." | ||
| Том 36, № 3 (2024) | Декларативный подход к задаче интроспекции виртуальной машины | Аннотация PDF (Rus) похожие документы |
| Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА | ||
| "... approach for OS profile generating. It is based on system call tracing and comparison between data obtained ..." | ||
| Том 28, № 3 (2016) | Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram | Аннотация похожие документы |
| Д. И. Самохвалов, Л. В. Дворянский | ||
| Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... исполнения, представленных в виде журналов событий, систем с сервис-ориентированной архитектурой (СОА). В то ..." | ||
| Том 36, № 3 (2024) | Статическое распределение памяти для операционных систем реального времени | Аннотация PDF (Rus) похожие документы |
| Софья Анатольевна ЗЕЛЕНОВА | ||
| "... Critical real-time operating system (RTOS) reliability improvement remains to be a relevant ..." | ||
| Том 29, № 4 (2017) | Отладчик для операционной системы реального времени: проблемы мультиплатформенности | Аннотация похожие документы |
| А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
| "... in software development process, but debugger for RTOS is more than typical debugger used by desktop ..." | ||
| Том 33, № 6 (2021) | Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич КАМКИН, Сергей Александрович СМОЛОВ, Михаил Михайлович ЧУПИЛКО | ||
| "... В данной работе сделан обзор открытых инструментов логического синтеза, трассировки и размещения ..." | ||
| Том 27, № 4 (2015) | Обнаружение и оценка количества промахов когерентности на основе вероятностной модели | Аннотация PDF (Rus) похожие документы |
| Е. А. Велесевич | ||
| "... трасса анализируемого приложения. Замедление работы программы при трассировке составляет примерно 10 раз ..." | ||
| Том 35, № 6 (2023) | Параллельная реализация алгоритма исправления нарушений антенных правил в маршруте OpenLane | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович БУЛАХ, Андрей Владимирович КОРШУНОВ | ||
| "... данных в виде файлов с информацией о составе библиотеки элементов и информации о размещении и трассировке ..." | ||
| Том 25 (2013) | Применение динамического анализа для поиска дефектов в программах на языке | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| "... analysis technique based on tainted data flow tracing, instrumentation and constraint set construction ..." | ||
| Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| "... tracing and input data generation for execution path coverage approaches are considered. We clarify ..." | ||
| Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
| "... (for example, image processing, ray tracing, neural networks, computational fluid dynamics and etc ..." | ||
| Том 22 (2012) | Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, Д. В. Сидоров | ||
| "... Recently, a number of dynamic analysis tools were developed that perform tainted data flow tracing ..." | ||
| Том 27, № 1 (2015) | Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... and function entry/exit tracing as base instrumentation applications. The results show better performance ..." | ||
| 1 - 39 из 69 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
