Сортировать по:
| Выпуск | Название | |
| Том 19 (2010) | Моделирование операционной семантики машинных инструкций | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, М. А. Соловьев, А. И. Кононов | ||
| "... This paper offers a model which allows describe operational semantics of machine instructions ..." | ||
| Том 37, № 2 (2025) | Поиск именованных сущностей в инструкциях по медицинскому применению лекарственных средств с использованием глубокого обучения и методов обработки естественного языка | Аннотация PDF (Rus) похожие документы |
| Юрий Павлович ТИТОВ, Никита Владимирович КИЛЬМИШКИН, Дмитрий Дмитриевич КУБРАКОВ, Полина Михайловна ИВАНОВА | ||
| "... in the texts of medical instructions, using data from VigiAccess, ICD-10 and rlsnet.ru. The text corpus ..." | ||
| Том 35, № 3 (2023) | Фреймворк для анализа использования машинных инструкций | Аннотация похожие документы |
| Данила Евгеньевич ПЕЧЕНЕВ, Яков Александрович КИРИЛЕНКО, Ольга Андреевна АФОНИНА | ||
| "... machine instructions or their groups in the machine code of programs. This paper describes a new framework ..." | ||
| Том 31, № 3 (2019) | Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” | Аннотация похожие документы |
| Павел Алексеевич Порошин, Алексей Николаевич Мешков | ||
| "... the pipeline of the target processor. A pipeline model has high impact on an overall structure of a simulator ..." | ||
| Том 26, № 3 (2014) | Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами | Аннотация PDF (Rus) похожие документы |
| В. В. Подымов, В. А. Захаров | ||
| "... In this paper we study the equivalence problem in the model of sequential programs which assumes ..." | ||
| Том 31, № 5 (2019) | Компиляция модели памяти OCaml в Power | Аннотация PDF (Rus) похожие документы |
| Егор Сергеевич Намаконов, Антон Викторович Подкопаев | ||
| "... The development of memory models aimed at solving various concurrency problems is an active ..." | ||
| Том 30, № 2 (2018) | Автоматизированная генерация декодеров машинных команд | Аннотация PDF (Rus) похожие документы |
| Н. Ю. Фокина, М. А. Соловьев | ||
| "... This paper proposes a method of automated generation of machine instruction decoders for various ..." | ||
| Том 30, № 1 (2018) | Применение AVX512-векторизации для увеличения производительности генератора псевдослучайных чисел | Аннотация PDF (Rus) похожие документы |
| М. С. Гуськова, Л. Ю. Бараш, Л. Н. Щур | ||
| "... the generation capacity is an important task. This paper describes applying SIMD instructions (Single Instruction ..." | ||
| Том 33, № 5 (2021) | Формальный язык первичных спецификаций криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... instructions. To enhance the readability of the programs and to reach the level of declarativeness ..." | ||
| Том 37, № 1 (2025) | Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич ПРОЦЕНКО | ||
| "... of the instruction set architecture (ISA). The work describes the implementation of the proposed approach. Based ..." | ||
| Том 37, № 3 (2025) | Моделирование сценариев деструктивного воздействия на целостность моделей машинного обучения | Аннотация PDF (Rus) похожие документы |
| Артем Бакытжанович МЕНИСОВ, Александр Григорьевич ЛОМАКО | ||
| "... The article is devoted to the development of models of destructive impact on the integrity ..." | ||
| Том 27, № 3 (2015) | Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. С. Проценко, А. Д. Татарников | ||
| "... access instructions, namely load and store instructions, and memory devices such as cache units ..." | ||
| Том 27, № 6 (2015) | Использование ABI для интроспекции виртуальных машин | Аннотация PDF (Rus) похожие документы |
| Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев | ||
| "... instruction to implement a system call. We expand QEMU with instrumentation engine, so we are able to monitor ..." | ||
| Том 36, № 6 (2024) | Прогнозирование случаев заражения COVID-19 в Мексике на основе моделей временных рядов | Аннотация похожие документы |
| Кейла Басти КОРТЕС-МАРТИНЕС, Хуго ЭСТРАДА-ЭСКИВЕЛ, Алисия МАРТИНЕС-РЕБОЯР | ||
| "... motivated the development of prediction models that provided predictive information on the evolution ..." | ||
| Том 26, № 3 (2014) | Современное состояние исследований в области обфускации программ: определения стойкости обфускации | Аннотация PDF (Rus) похожие документы |
| Н. П. Варновский, В. А. Захаров, Н. Н. Кузюрин, А. В. Шокуров | ||
| Том 32, № 3 (2020) | Определение аккаунтов злоумышленников в социальной сети ВКонтакте при помощи методов машинного обучения | Аннотация похожие документы |
| Денис Игоревич САМОХВАЛОВ | ||
| "... feature engineering was conducted and the CatBoost classifier was used to build a classification model ..." | ||
| Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
| "... of binary code analysis toolset is the instruction decoder. Different instruction set architectures give ..." | ||
| Том 33, № 5 (2021) | Методика сбора обучающего набора данных для модели обнаружения компьютерных атак | Аннотация PDF (Rus) похожие документы |
| Александр Игоревич ГЕТЬМАН, Максим Николаевич ГОРЮНОВ, Андрей Георгиевич МАЦКЕВИЧ, Дмитрий Александрович РЫБОЛОВЛЕВ | ||
| "... The paper discusses the issues of training models for detecting computer attacks based on the use ..." | ||
| Том 35, № 3 (2023) | Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE | Аннотация похожие документы |
| Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ | ||
| "... invariants, hard enough to model using existing logic theories, despite it is not a problem for concrete ..." | ||
| Том 36, № 5 (2024) | Применение моделей машинного обучения для многоклассовой классификации дерматоскопических снимков новообразований кожи | Аннотация PDF (Rus) похожие документы |
| Александр Васильевич КОЗАЧОК, Андрей Андреевич СПИРИН, Олег Ильгисович САМОВАРОВ, Елена Сергеевна КОЗАЧОК | ||
| "... learning models implemented on the basis of deep neural networks and visual transformers. The parameters ..." | ||
| Том 36, № 5 (2024) | Так ли безопасна интерпретируемость ИИ: взаимосвязь интерпретируемости и защищенности моделей машинного обучения | Аннотация PDF (Rus) похожие документы |
| Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Серафим Константинович БОЯРСКИЙ, Илья Андреевич МАКАРОВ | ||
| "... With the growing application of interpretable artificial intelligence (AI) models, increasing ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... .) at the machine code level. The tool is highly automated: provided that the target instruction set is formalized ..." | ||
| Том 36, № 5 (2024) | Дилемма защитника: совместимы ли методы защиты от разных атак на модели машинного обучения? | Аннотация PDF (Rus) похожие документы |
| Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Игорь Николаевич МЕЛЕШИН | ||
| "... With the increasing use of artificial intelligence (AI) models, more attention is being paid ..." | ||
| Том 35, № 5 (2023) | Быстрый анализ статического IR drop эффекта на базе методов машинного обучения | Аннотация PDF (Rus) похожие документы |
| Роман Александрович СОЛОВЬЁВ, Дмитрий Владимирович ТЕЛЬПУХОВ, Евгений Денисович ДЕМИДОВ, Илья Ильич ШАФЕЕВ | ||
| "... for applying ML models to perform static IR drop analysis. Methods for obtaining a database for training ..." | ||
| Том 32, № 5 (2020) | Синтез модели машинного обучения для обнаружения компьютерных атак на основе набора данных CICIDS2017 | Аннотация PDF (Rus) похожие документы |
| Максим Николаевич ГОРЮНОВ, Андрей Георгиевич МАЦКЕВИЧ, Дмитрий Александрович РЫБОЛОВЛЕВ | ||
| "... The paper deals with the construction and practical implementation of the model of computer attack ..." | ||
| Том 31, № 2 (2019) | Полуавтоматический подход к параллельному решению задач с использованием модели Multi-BSP | Аннотация PDF (Rus) похожие документы |
| Марсело Орландо Аланис, Серджо Энрике Несмачнов Кановас | ||
| "... The Multi-Bulk Synchronous Parallel (Multi-BSP) model is a recently proposed parallel programming ..." | ||
| Том 32, № 1 (2020) | Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
| Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков | ||
| "... characteristics and the way it is utilized. Relational DBMS utilize diverse execution models to run SQL queries ..." | ||
| Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... machines. Our instrumentation routines target bytecode instructions related to multithreading, monitors ..." | ||
| Том 28, № 6 (2016) | Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко | ||
| "... ARM is a family of microprocessor instruction set architectures developed in a company ..." | ||
| Том 27, № 3 (2015) | Iskra: Инструмент починки моделей процессов | Аннотация PDF (Rus) похожие документы |
| И. Шугуров, А. Мицюк | ||
| "... and algorithms for discovery and analysis of business process models based on event logs. Process mining has ..." | ||
| Том 35, № 6 (2023) | Усовершенствование модели оценки нефункциональных требований, классифицирующей диапазоны одинакового размера с помощью алгоритма k-ближайших соседей | Аннотация PDF (Rus) похожие документы |
| Франсиско ВАЛЬДЕС-СОУТО, Хорхе ВАЛЕРИАНО-АССЕМ, Даниэль ТОРРЕС-РОБЛЕДО | ||
| "... , as there is no standardized unit of measurement for them. Consequently, most estimation models focus on the Functional User ..." | ||
| Том 36, № 3 (2024) | Платформа для сбора дерматоскопических изображений новообразований пациентов | Аннотация PDF (Rus) похожие документы |
| Александр Васильевич КОЗАЧОК, Андрей Андреевич СПИРИН, Кирилл Вячеславович ЕЛЕЦКИЙ, Елена Сергеевна КОЗАЧОК | ||
| "... popular in the scientific community for building machine learning models for the classification ..." | ||
| Том 32, № 5 (2020) | Разработка компиляторов предметно-ориентированных языков для спецпроцессоров | Аннотация PDF (Rus) похожие документы |
| Пётр Николаевич СОВЕТОВ | ||
| "... optimization rules, instruction selection and instruction scheduling combined with register allocation ..." | ||
| Том 31, № 5 (2019) | Примеры использования машинного обучения в кибербезопасности | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Авдошин, Александр Вячеславович Лазаренко, Наталия Игоревна Чичилева, Павел Андреевич Наумов, Петр Георгиевич Ключарев | ||
| "... and cyberattack and provide a model of machine learning-powered attack. ..." | ||
| Том 28, № 3 (2016) | Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров | Аннотация похожие документы |
| М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков | ||
| "... are presented. We provide basic approach to device behavior checking - implementing a functional reference model ..." | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
| П. А. Путро | ||
| "... to combine the pre- and postcondition specifications with the machine code behavior model. The paper presents ..." | ||
| Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков, А. С. Камкин | ||
| "... is comprised of three main steps. First, a Promela model written for a certain configuration of the system ..." | ||
| Том 28, № 5 (2016) | Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
| А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов | ||
| "... instructions. Finally we briefly describe the software developed, which is based upon the FlexT interpreter ..." | ||
| Том 30, № 5 (2018) | Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах | Аннотация PDF (Rus) похожие документы |
| И. С. Алимова, Е. В. Тутубалина | ||
| "... This paper presents our experimental work on neural network models for entity-level adverse drug ..." | ||
| 1 - 39 из 673 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
