Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 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 диссертация)