Сортировать по:
| Выпуск | Название | |
| Том 35, № 3 (2023) | Фреймворк для анализа использования машинных инструкций | Аннотация похожие документы |
| Данила Евгеньевич ПЕЧЕНЕВ, Яков Александрович КИРИЛЕНКО, Ольга Андреевна АФОНИНА | ||
| "... that can be used by other researchers. We automatically collect data on different GNU/Linux distributions ..." | ||
| Том 27, № 2 (2015) | Об особенностях детерминированного воспроизведения при минимальном наборе устройств | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, К. А. Батузов, В. А. Падарян | ||
| "... of virtual machine which execution is being replayed. For replay to be deterministic the implementation must ..." | ||
| Том 36, № 3 (2024) | Декларативный подход к задаче интроспекции виртуальной машины | Аннотация PDF (Rus) похожие документы |
| Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА | ||
| "... The prominent problem in memory dump analysis and virtual machine introspection approaches ..." | ||
| Том 30, № 6 (2018) | Статическая верификация ошибок использования памяти в модулях ядра ОС Linux | Аннотация похожие документы |
| А. А. Васильев | ||
| "... Memory errors in Linux kernel drivers are a kind of serious bugs that can lead to dangerous ..." | ||
| Том 34, № 4 (2022) | Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений | Аннотация PDF (Rus) похожие документы |
| Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
| "... As a result of background work on analysis in embedded Linux OS, the authors created the ELF ..." | ||
| Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Павел Сергеевич Андрианов | ||
| "... непересекающиеся регионы, соответствующие типам данных. Реализация предложенного подхода во фреймворке CPAchecker ..." | ||
| Том 19 (2010) | Моделирование операционной семантики машинных инструкций | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, М. А. Соловьев, А. И. Кононов | ||
| "... This paper offers a model which allows describe operational semantics of machine instructions ..." | ||
| Том 30, № 2 (2018) | Автоматизированная генерация декодеров машинных команд | Аннотация PDF (Rus) похожие документы |
| Н. Ю. Фокина, М. А. Соловьев | ||
| "... This paper proposes a method of automated generation of machine instruction decoders for various ..." | ||
| Том 31, № 5 (2019) | Примеры использования машинного обучения в кибербезопасности | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Авдошин, Александр Вячеславович Лазаренко, Наталия Игоревна Чичилева, Павел Андреевич Наумов, Петр Георгиевич Ключарев | ||
| "... The problem regarding the use of machine learning in cybersecurity is difficult to solve because ..." | ||
| Том 27, № 6 (2015) | Использование ABI для интроспекции виртуальных машин | Аннотация PDF (Rus) похожие документы |
| Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев | ||
| "... The paper proposes an approach to introspection of virtual machines using the applications binary ..." | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
| П. А. Путро | ||
| "... the correctness of the generated machine code by deductive verification. To achieve this goal, it is required ..." | ||
| Том 30, № 3 (2018) | Нотация криптографической стековой машины версии один | Аннотация похожие документы |
| С. Е. Прокопьев | ||
| "... machine. The paper presents the syntax and semantics of CMN.1 and the principles of implementation ..." | ||
| Том 34, № 5 (2022) | Способ оценки похожести программ методами машинного обучения | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич БОРИСОВ, Юрий Владимирович КОСОЛАПОВ | ||
| "... . This vector is then used to decide on the similarity or dissimilarity of programs using machine learning ..." | ||
| Том 21 (2011) | Детерминированное воспроизведение процесса выполнения программ в виртуальной машине | Аннотация PDF (Rus) похожие документы |
| Павел Довгалюк | ||
| "... within a virtual machine. This technology enables to debug programs deterministically and may be use ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... In recent years, ISP RAS has been developing a system for machine (binary) code deductive ..." | ||
| Том 26, № 4 (2014) | Лингвистический подход к определению суицида | Аннотация PDF (Rus) похожие документы |
| Л. М. Ермакова, С. А. Ермаков | ||
| "... main approach is to study indicators of such condition and based on it use machine learning approach ..." | ||
| Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
| "... of decoder implementations. In this paper, we propose an approach to decoding machine instructions ..." | ||
| Том 35, № 6 (2023) | Применение алгоритмов машинного обучения для предсказания турбулентной вязкости | Аннотация PDF (Rus) похожие документы |
| Дарья Игоревна РОМАНОВА, Андрей Сергеевич ЕПИХИН, Дарья Юрьевна ИЛЬИНА | ||
| "... The article discusses machine learning algorithms for predicting turbulent viscosity using ..." | ||
| Том 37, № 3 (2025) | Обзор методов контроля перегрузки с использованием машинного обучения | Аннотация PDF (Rus) похожие документы |
| Иван Александрович СТЕПАНОВ, Максим Владимирович ПОПОВ, Александр Игоревич ГЕТЬМАН, Мария Кирилловна ИКОННИКОВА, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... to the emergence of numerous works on machine learning-based congestion control algorithms, particularly ..." | ||
| Том 32, № 4 (2020) | Диагностика гипертрофий левых отделов сердца с помощью глубокой нейронной сети | Аннотация PDF (Rus) похожие документы |
| Павел Константинович АНДРЕЕВ, Владислав Валерьевич АНАНЬЕВ, Владимир Алексеевич МАКАРОВ, Евгений Андреевич КАРПУЛЕВИЧ, Денис Юрьевич ТУРДАКОВ | ||
| Том 32, № 4 (2020) | Использование доменно-состязательного обучения для распознавания текстовых капч | Аннотация PDF (Rus) похожие документы |
| Денис Олегович КУЩУК, Максим Алексеевич РЫНДИН, Александр Константинович ЯЦКОВ, Максим Игоревич ВАРЛАМОВ | ||
| Том 23 (2012) | Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода | Аннотация PDF (Rus) похожие документы |
| М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева | ||
| "... as “dispatching” can be used to transform application control flow similarly to virtual machine insertion. Our ..." | ||
| Том 31, № 3 (2019) | Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода | Аннотация похожие документы |
| Павел Андреевич Путро | ||
| "... software because even fully verified code cannot guarantee the correct generation of machine code ..." | ||
| Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
| "... Разработка виртуальных устройств и машин для QEMU - трудоёмкий процесс. С целью поддержки ..." | ||
| Том 30, № 5 (2018) | Отслеживание операций с файловой системой ext3 в эмуляторе QEMU | Аннотация PDF (Rus) похожие документы |
| В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев | ||
| Том 33, № 5 (2021) | Формальный язык первичных спецификаций криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... on a machine (dubbed the C2-machine) specifically designed for the domain of the cryptographic protocols ..." | ||
| Том 35, № 5 (2023) | Исследование возможности идентификации веб-сайтов, посещаемых пользователем, на основе HTTP/2 трафика | Аннотация PDF (Rus) похожие документы |
| Александр Игоревич ГЕТЬМАН, Иван Александрович СТЕПАНОВ | ||
| Том 35, № 5 (2023) | Извлечение именованных сущностей из рецензий к исходному коду | Аннотация PDF (Rus) похожие документы |
| Владимир Владимирович КАЧАНОВ, Ариана Сергеевна ХИТРОВА, Сергей Игоревич МАРКОВ | ||
| Том 34, № 6 (2022) | Моделирование взаимосвязи между заболеваниями с помощью взаимодействующих потоковых X-машин | Аннотация похожие документы |
| Дилшан ДЖАЯТИЛАКЕ, Хоа ФУНГ, Эммануэль ОГУНШИЛЕ, Мехмет АЙДИН | ||
| "... introduce a generic disease model called Communicating Stream X-Machine Disease Model (CSXMDM), which has ..." | ||
| Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Д. Бейер, А. К. Петренко | ||
| "... Linux driver verification is a large application area for software verification methods ..." | ||
| Том 20 (2011) | Архитектура Linux Driver Verification | Аннотация PDF (Rus) похожие документы |
| В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед | ||
| "... tool for Linux device drivers. An architecture of a verification system implementing the requirements ..." | ||
| Том 29, № 2 (2017) | Развитие ядра операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... Existing research analyzing evolution of the Linux kernel considers the kernel together ..." | ||
| Том 33, № 3 (2021) | Механизированная теория структур событий: случай параллельной регистровой машины | Аннотация похожие документы |
| Владимир Петрович ГЛАДШТЕЙН, Дмитрий Владимирович МИХАЙЛОВСКИЙ, Евгений Александрович МОИСЕЕНКО, Антон Александрович ТРУНОВ | ||
| "... machine with shared memory. ..." | ||
| Том 37, № 3 (2025) | Моделирование сценариев деструктивного воздействия на целостность моделей машинного обучения | Аннотация PDF (Rus) похожие документы |
| Артем Бакытжанович МЕНИСОВ, Александр Григорьевич ЛОМАКО | ||
| "... of machine learning models based on SIR forecasting of the scale of threats and risks of losses under various ..." | ||
| Том 32, № 1 (2020) | Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
| Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков | ||
| "... and optimized machine code execution. This requirement can be satisfied only when the amount of data ..." | ||
| Том 35, № 6 (2023) | Использование переноса стиля как способ улучшения обобщающей способности нейросети в задаче детекции объектов | Аннотация PDF (Rus) похожие документы |
| Денис Константинович КАРАЧЕВ, Сергей Евгеньевич ШТЕХИН, Владимир Сергеевич ТАРАСЯН, Илья Юрьевич СМОЛИН, Максим Владимирович ИСАКОВ | ||
| Том 29, № 6 (2017) | Поиск недостающих вызовов библиотечных функций с использованием машинного обучения | Аннотация PDF (Rus) похожие документы |
| И. А. Якимов, А. С. Кузнецов | ||
| "... определенных библиотечных функций с использование машинного обучения. В целях проверки данной гипотезы была ..." | ||
| Том 32, № 6 (2020) | Обзор методов классификации сетевого трафика с использованием машинного обучения | Аннотация PDF (Rus) похожие документы |
| Александр Игоревич ГЕТЬМАН, Мария Кирилловна ИКОННИКОВА | ||
| "... of machine learning algorithms in this task. The survey begins with the description of the task, its ..." | ||
| Том 32, № 3 (2020) | Определение аккаунтов злоумышленников в социальной сети ВКонтакте при помощи методов машинного обучения | Аннотация похожие документы |
| Денис Игоревич САМОХВАЛОВ | ||
| "... This paper presents a machine learning-based approach for detection of malicious users ..." | ||
| 1 - 39 из 301 результатов | 1 2 3 4 5 6 7 8 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
