Сортировать по:
Выпуск | Название | |
Том 37, № 2 (2025) | Поиск именованных сущностей в инструкциях по медицинскому применению лекарственных средств с использованием глубокого обучения и методов обработки естественного языка | Аннотация PDF (Rus) похожие документы |
Юрий Павлович ТИТОВ, Никита Владимирович КИЛЬМИШКИН, Дмитрий Дмитриевич КУБРАКОВ, Полина Михайловна ИВАНОВА | ||
"... , it is planned to use the source grls.rosminzdrav.ru, as more authoritative and complete, for information about ..." | ||
Том 35, № 5 (2023) | Извлечение именованных сущностей из рецензий к исходному коду | Аннотация PDF (Rus) похожие документы |
Владимир Владимирович КАЧАНОВ, Ариана Сергеевна ХИТРОВА, Сергей Игоревич МАРКОВ | ||
"... В данной статье рассматривается задача извлечения именованных сущностей из рецензий исходного кода ..." | ||
Том 19 (2010) | Моделирование операционной семантики машинных инструкций | Аннотация PDF (Rus) похожие документы |
В. А. Падарян, М. А. Соловьев, А. И. Кононов | ||
"... В работе предлагается модель, позволяющая описывать операционную семантику машинных инструкций для ..." | ||
Том 35, № 3 (2023) | Фреймворк для анализа использования машинных инструкций | Аннотация похожие документы |
Данила Евгеньевич ПЕЧЕНЕВ, Яков Александрович КИРИЛЕНКО, Ольга Андреевна АФОНИНА | ||
"... использовании различных машинных инструкций или их групп в машинном коде программ. В данной работе описывается ..." | ||
Том 30, № 1 (2018) | Применение AVX512-векторизации для увеличения производительности генератора псевдослучайных чисел | Аннотация PDF (Rus) похожие документы |
М. С. Гуськова, Л. Ю. Бараш, Л. Н. Щур | ||
"... В работе описывается применение наборов SIMD инструкций (Single Instruction Multiple Data) для ..." | ||
Том 33, № 6 (2021) | Межъязыковой перенос знаний при извлечении информации о лекарствах из пользовательских текстов | Аннотация PDF (Rus) похожие документы |
Андрей Сергеевич САХОВСКИЙ, Елена Викторовна ТУТУБАЛИНА | ||
"... Задача извлечения именованных сущностей, соответствующих лекарствам, заболеваниям и лекарственным ..." | ||
Том 31, № 3 (2019) | Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” | Аннотация похожие документы |
Павел Алексеевич Порошин, Алексей Николаевич Мешков | ||
Том 27, № 3 (2015) | Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. С. Проценко, А. Д. Татарников | ||
"... управления памятью микропроцессора. В основе метода лежат формальные спецификации инструкций доступа к памяти ..." | ||
Том 30, № 5 (2018) | Формализация метамодели системы управления требованиями | Аннотация PDF (Rus) похожие документы |
Д. С. Кильдишев, А. В. Хорошилов | ||
"... именованных и типизированных свойств. Базовая модель проста и удобна для представления семантики набора ..." | ||
Том 22 (2012) | Программная конвейеризация циклов на платформе ARM | Аннотация PDF (Rus) похожие документы |
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий | ||
"... только с циклами определенного вида, а на платформе ARM нет подходящей инструкции для организации циклов ..." | ||
Том 20 (2011) | Оптимизация динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
Кирилл Батузов, Алексей Меркулов | ||
"... машинно-независимые оптимизации в QEMU и планировщик инструкций в Valgrind. Изменения алгоритма поиска ..." | ||
Том 28, № 4 (2016) | Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций | Аннотация похожие документы |
А. С. Камкин, А. М. Коцыняк | ||
"... описания инструкций доступа к памяти (инструкций чтения и записи) и описания механизмов управления памятью ..." | ||
Том 27, № 1 (2015) | Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, С. П. Вартанов | ||
"... кода. Непосредственный метод инструментации включает замену блоков инструкций в точках инструментации ..." | ||
Том 28, № 5 (2016) | Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода | Аннотация PDF (Rus) похожие документы |
А. Р. Нурмухаметов | ||
"... следующие преобразования: вставка мертвого кода, перестановка местами инструкций, перестановка местами ..." | ||
Том 23 (2012) | Повышение уровня представления трасс выполнения программ | Аннотация PDF (Rus) похожие документы |
А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров | ||
"... инструкций, слишком велики для непосредственного восприятия человеком. Поэтому актуальной является задача ..." | ||
Том 28, № 5 (2016) | Поиск ошибок выхода за границы буфера в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
В. В. Каушан | ||
"... интерпретация последовательности машинных инструкций, выполненных за время работы программы. Рассматриваются ..." | ||
Том 33, № 3 (2021) | Применение языковых моделей в задаче извлечения оценочных отношений | Аннотация PDF (Rus) похожие документы |
Николай Леонидович РУСНАЧЕНКО | ||
"... произвольного документа и списка размеченных в нем именованных сущностей, такая задача предполагает составление ..." | ||
Том 27, № 6 (2015) | Использование ABI для интроспекции виртуальных машин | Аннотация PDF (Rus) похожие документы |
Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев | ||
"... значения. Для осуществления системного вызова у процессора есть специальная инструкция. Расширив ..." | ||
Том 31, № 6 (2019) | Обзор методов автоматизированной генерации эксплойтов повторного использования кода | Аннотация PDF (Rus) похожие документы |
Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов | ||
"... гаджет по своей сути является инструкцией, а их набор задает некоторую виртуальную машину. Задача ..." | ||
Том 28, № 4 (2016) | Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC | Аннотация PDF (Rus) похожие документы |
А. В. Монаков, В. А. Иванишин | ||
"... потоках выполнения в PTX вне OpenMP SIMD-регионов за счет легковесной инструментации некоторых инструкций ..." | ||
Том 37, № 1 (2025) | Фреймворк автоматизации тестирования на гонки по данным | Аннотация PDF (Rus) похожие документы |
Евгений Анатольевич ГЕРЛИЦ, Вадим Сергеевич МУТИЛИН | ||
"... точек синхронизации в исходном коде программы, в которых тест регулирует порядок исполнения инструкций ..." | ||
Том 28, № 1 (2016) | Оптимизация динамической загрузки библиотек на архитектуре ARM | Аннотация PDF (Rus) похожие документы |
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков | ||
"... организации ленивого связывания; однако использование PLT требует дополнительной инструкции перехода, может ..." | ||
Том 28, № 3 (2016) | Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров | Аннотация похожие документы |
М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков | ||
"... инструкций. Приведены способы разработки тестовых систем на различных уровнях абстракции. В статье описан ..." | ||
Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
"... операции, инструкции преобразования типов, бинарные отношения в условиях переходов. Для инструкций доступа ..." | ||
Том 30, № 5 (2018) | Метод анализа атак повторного использования кода | Аннотация PDF (Rus) похожие документы |
А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян | ||
"... отличие от обычного шелл-кода, где инструкции размещаются последовательно в памяти, ROP-цепочка состоит из ..." | ||
Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
С. В. Козин, В. С. Мутилин | ||
"... программа с инструкцией по реализации внутренней архитектуры. ..." | ||
Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, С. П. Вартанов | ||
"... инструментации. Инструментируются инструкции доступа к памяти, вызова методов, работы с потоками и мониторами ..." | ||
Том 30, № 6 (2018) | Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8 | Аннотация PDF (Rus) похожие документы |
А. М. Водовозов, Д. С. Полетаев | ||
"... векторных SIMD-инструкций архитектуры ARMv8. Представлена реализация алгоритма обработки сигнала на языке Cи ..." | ||
Том 28, № 5 (2016) | Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
И. А. Дудина | ||
"... учитывает взаимосвязи между переменными, такие как сравнения, арифметические операции и инструкции ..." | ||
Том 33, № 5 (2021) | Формальный язык первичных спецификаций криптографических протоколов | Аннотация PDF (Rus) похожие документы |
Сергей Евгеньевич ПРОКОПЬЕВ | ||
"... виде задается семантика базовых инструкций C2-машины. Статья иллюстрирована примерами для протокола TLS. ..." | ||
Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, М. К. Ермаков | ||
"... уровне классов и методов, инструментация на уровне отдельных инструкций. На основе Coffee Machine ..." | ||
Том 33, № 6 (2021) | Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА | ||
"... котором предоставляемый аналитику объем данных представлен потоком выполняемых инструкций и содержимым ..." | ||
Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) похожие документы |
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
"... инструкции в программе методами динамического символьного исполнения, примененном последовательно для ..." | ||
Том 30, № 6 (2018) | Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга | Аннотация похожие документы |
А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков | ||
"... инструкций по этим адресам от точки входа в программу. Далее модуль динамическое символьного исполнения ..." | ||
Том 31, № 5 (2019) | Компиляция модели памяти OCaml в Power | Аннотация PDF (Rus) похожие документы |
Егор Сергеевич Намаконов, Антон Викторович Подкопаев | ||
"... корректность. В этой схеме используются барьеры памяти и инструкции compare-and-swap, которые позволяют ..." | ||
Том 37, № 2 (2025) | Архитектура системы сбора и извлечения информации для интеллектуальной поисково-аналитической системы | Аннотация PDF (Rus) похожие документы |
Данил Сергеевич СЕРЕНКО, Егор Дмитриевич ТЕРЕНТЬЕВ, Денис Владимирович ЗУБАРЕВ, Илья Владимирович СОЧЕНКОВ | ||
"... выполнение инструкций и применение разумных интервалов между запросами. ..." | ||
Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
"... создаётся её резюме, которое затем будет использовано для анализа инструкций вызова. Анализ имеет как ..." | ||
1 - 37 из 37 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)