Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 31, № 2 (2019) Выявление характерных особенностей программ для борьбы с компьютерным пиратством на основе интеллектуального анализа графов Аннотация  PDF (Rus)  похожие документы
Сохаил Сарвар, Зия Уль Кайум, Мухаммад Сафьян, Муддессар Икбал, Ясир Махмуд
"... на сочетании методов интеллектуального анализа текстов и графов. Элементы кода программы и их связи с другими ..."
 
Том 26, № 2 (2014) Обход неизвестного графа коллективом автоматов Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... Исследование графов автоматами является корневой задачей во многих приложениях. К таким приложениям ..."
 
Том 34, № 1 (2022) Программная реализация системы обработки метаграфов на основе подхода Больших Данных Аннотация  похожие документы
Валерий Михайлович ЧЕРНЕНЬКИЙ, Иван Владимирович ДУНИН, Юрий Евгеньевич ГАПАНЮК
"... . Обсуждается представление метаграфа через простой граф. Описывается обработка простых графов и метаграфов ..."
 
Том 32, № 4 (2020) Совершенные множества путей в полном графе коммутаторов SDN-сети Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Евгений Максимович ВИНАРСКИЙ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ
"... , моделируемой графом физических связей между узлами сети. Виртуальная сеть задается как множество упорядоченных ..."
 
Том 27, № 1 (2015) Обход неизвестного графа коллективом автоматов. Недетерминированный случай Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... Исследование графов автоматами является корневой задачей во многих приложениях. К таким приложениям ..."
 
Том 37, № 5: сентябрь-октябрь Окрашивание символьных графов памяти для выявления ошибок, специфичных для DRM-драйверов Linux Аннотация  похожие документы
Екатерина Михайловна ОРЛОВА, Антон Александрович ВАСИЛЬЕВ, Олег Максимович ПЕТРОВ
"... с памятью мы используем анализ на основе символьных графов памяти (SMG). Чтобы отследить способ выделения ..."
 
Том 31, № 5 (2019) DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей Аннотация  PDF (Rus)  похожие документы
Ахмед Хан
"... адаптивного метода с использованием нейронной сети. На начальном этапе создается граф зависимости классов ..."
 
Том 36, № 1 (2024) Исследование вопросов учёта нагрузок в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ
"... и их корректировки в программно-конфигурируемых структурах, моделируемых взвешенным графом плоскости данных. В работе ..."
 
Том 37, № 5: сентябрь-октябрь Набор табличных данных RF-200 и тестирование производительности извлечения фактов из русскоязычных таблиц Аннотация  PDF (Rus)  похожие документы
Никита Олегович ДОРОДНЫХ, Александр Юрьевич ЮРИН
"... (аннотирования) таблиц и построения на их основе графов знаний разрабатывается специализированное ..."
 
Том 29, № 5 (2017) Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ Аннотация  PDF (Rus)  похожие документы
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова
"... систем. Вычислительный процесс рассматривается как наложение управляющего графа, определяющего ..."
 
Том 36, № 4 (2024) GraphTyper: Вывод типов из графовой репрезентации кода посредством нейронных сетей Аннотация  PDF (Rus)  похожие документы
Герман Арсенович АРУТЮНОВ, Сергей Михайлович АВДОШИН
"... Although software development is mostly a creative process, there are many scrutiny tasks ..."
 
Том 30, № 5 (2018) Подход к анализу исполняемого кода на основе восстановления программной архитектуры Аннотация  PDF (Rus)  похожие документы
Д. С. Кононов
"... базируется на кластеризации функций по расстояниям между ними в адресном пространстве и на графе вызовов ..."
 
Том 36, № 3 (2024) Автоматизированное извлечение фактов из табличных данных на основе семантического аннотирования таблиц Аннотация  похожие документы
Никита Олегович ДОРОДНЫХ, Александр Юрьевич ЮРИН
"... Использование графов знаний при построении интеллектуальных информационно-аналитических систем ..."
 
Том 28, № 5 (2016) Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах Аннотация  PDF (Rus)  похожие документы
А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян
"... [1] и ответственен за генерацию графов зависимостей программы для каждой функции. В качестве основы для генерации ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... извлечения таких семейств моделей, как графы потока и зависимостей, а также автоматные модели. Подробно ..."
 
Том 30, № 6 (2018) Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев
"... служебных сервисных функций. В основе сети лежит связный неориентированных граф физических связей (англ ..."
 
Том 33, № 1 (2021) Безопасная реализация виртуальной сети на плоскости данных SDN Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ
"... , моделируемой графом физических связей между узлами сети. Виртуальная сеть задается как множество упорядоченных ..."
 
Том 34, № 3 (2022) Реализация распределённых и параллельных вычислений в сети SDN Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ
"... неориентированным графом физических связей, программы задания, которая понимается в духе парадигмы объектно ..."
 
Том 30, № 3 (2018) Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR Аннотация  похожие документы
С. Л. Лесовой
"... , используя представление программы в виде абстрактного графа достижимости. В классическом алгоритме CEGAR ..."
 
Том 37, № 4: часть 1. июль-август Извлечение функциональности из бинарного кода Аннотация  похожие документы
Анна Александровна ИЛЬИНА, Шамиль Фаимович КУРМАНГАЛЕЕВ
"... или выделения подграфов графа вызовов и выделении их функциональности. ..."
 
Том 27, № 2 (2015) Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода Аннотация  PDF (Rus)  похожие документы
Севак Саргсян
"... допущенных ошибок при копировании. Для этого строится и анализируется граф зависимостей программы (Program ..."
 
Том 23 (2012) Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода Аннотация  PDF (Rus)  похожие документы
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева
"... В данной статье приводятся результаты экспериментального исследования по восстановлению графа ..."
 
Том 31, № 6 (2019) Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ Аннотация  PDF (Rus)  похожие документы
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян
"... алгоритмы исследования статической модели программы, в том числе графа вызовов, потока управления, потока ..."
 
Том 27, № 6 (2015) Концепция наследования в современных языках программирования Аннотация  PDF (Rus)  похожие документы
А. В. Канатов, Е. А. Зуев
"... контроля валидности полного графа наследования на этап обработки обращений к свойствам класса на основе ..."
 
Том 28, № 1 (2016) Инфраструктура статического анализа программ на языке C# Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов
"... анализа: построение графа вызовов и графа потока управления, проведение анализа потоков данных ..."
 
Том 30, № 5 (2018) Онтологический репозиторий для CFD-расчетов Аннотация  PDF (Rus)  похожие документы
В. А. Зенкин
"... расчетов в форме неориентированного графа, построение плоских и пространственных зависимостей, поиск ..."
 
Том 38, № 2: март-апрель Направленный фаззинг Rust и Go с помощью LibAFL-DiFuzz Аннотация  похожие документы
Тимофей Павлович МЕЖУЕВ, Дарья Алексеевна ПАРЫГИНА, Даниил Олегович КУЦ
"... , оптимизации компилятора rustc, а также специальные методы построения графов и инструментации для обеспечения ..."
 
1 - 27 из 27 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)