Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 27, № 1 (2015) Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ Аннотация  PDF (Rus)  похожие документы
Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян
"... В статье обсуждаются существующие методы поиска семантически сходных участков кода (клонов ..."
 
Том 27, № 2 (2015) Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода Аннотация  PDF (Rus)  похожие документы
Севак Саргсян
"... производится поиск клонов кода на основе лексического анализа программы. Найденные идентичные ..."
 
Том 21 (2011) Применение алгебры подстановок для унификации программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Т. А. Новикова
"... средства обнаружения программных клонов позволяют выявлять лишь фрагменты программ, имеющие сходное ..."
 
Том 28, № 5 (2016) Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах Аннотация  PDF (Rus)  похожие документы
А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян
"... кода многих программных средств. В данной статье обсуждаются существующие методы поиска клонов ..."
 
Том 31, № 1 (2019) Анализ характера изменений программ и поиск неисправленных фрагментов кода Аннотация  PDF (Rus)  похожие документы
Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев
"... относящихся к исправлению дефектов поиск подобных, но не исправленных дефектов при помощи методов поиска ..."
 
Том 28, № 5 (2016) Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода Аннотация  PDF (Rus)  похожие документы
А. Р. Нурмухаметов
 
Том 24 (2013) Автоматический поиск ошибок синхронизации в приложениях на платформе Android Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, С. П. Вартанов, М. К. Ермаков
"... В данной статье рассматривается задача автоматического поиска ошибок синхронизации при проведении ..."
 
Том 31, № 5 (2019) Методы кросс-языкового поиска похожих документов Аннотация  похожие документы
Денис Владимирович Зубарев, Илья Владимирович Соченков
"... В этой статье сравниваются различные методы кросс-языкового поиска похожих документов. Для ..."
 
Том 28, № 4 (2016) Обзор современных методов планирования движения Аннотация  PDF (Rus)  похожие документы
К. А. Казаков, В. А. Семенов
 
Том 30, № 3 (2018) Применение глубокого машинного обучения к синтезу цепочки вызовов C# Аннотация  похожие документы
А. Е. Чебыкин, Я. А. Кириленко
 
Том 28, № 5 (2016) Поиск ошибок выхода за границы буфера в бинарном коде программ Аннотация  PDF (Rus)  похожие документы
В. В. Каушан
"... В статье рассматривается метод поиска ошибок выхода за границы буфера в рамках метода ..."
 
Том 28, № 5 (2016) Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ Аннотация  PDF (Rus)  похожие документы
Р. Р. Мулюков, А. Е. Бородин
"... В статье описывается поиск недостижимого кода в исходном коде программ, написанных на языках Си и ..."
 
Том 22 (2012) Инкрементальный анализ исходного кода на языках C/C++ Аннотация  PDF (Rus)  похожие документы
В. О. Савицкий, Д. В. Сидоров
"... время повторного поиска дефектов для языков СС++. Для этого используется свойство малого отношения ..."
 
Том 30, № 6 (2018) Исследовательский поиск научных статей Аннотация  PDF (Rus)  похожие документы
Я. Р. Недумов, С. Д. Кузнецов
"... , посвященные методам исследовательского поиска. Мы показываем, что четыре вида поиска из шести, характерных для ..."
 
Том 31, № 6 (2019) Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ Аннотация  PDF (Rus)  похожие документы
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян
"... код проблемных участков может отсутствовать. Приобретают популярность статические методы поиска ..."
 
Том 31, № 4 (2019) Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности Аннотация  похожие документы
Сергей Михайлович Авдошин, Екатерина Николаевна Береснева
 
Том 28, № 4 (2016) Поиск ошибок доступа к буферу в программах на языке C/C++ Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, В. К. Кошелев, А. Е. Бородин
"... В статье рассматривается алгоритм статического анализа для поиска в исходном коде программы ошибок ..."
 
Том 26, № 2 (2014) Перспективные схемы пространственно-временной индексации для визуального моделирования масштабных индустриальных проектов Аннотация  PDF (Rus)  похожие документы
В. А. Золотов, В. А. Семенов
 
Том 27, № 5 (2015) Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов
"... сведение задачи поиска данного дефекта к задаче выполнимости формул логики предикатов. Приведены результаты ..."
 
Том 28, № 5 (2016) Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа Аннотация  PDF (Rus)  похожие документы
И. А. Дудина
"... В данной работе рассматривается метод поиска межпроцедурных ошибок доступа к буферу с помощью ..."
 
Том 29, № 5 (2017) Объектно-ориентированная среда для разработки приложений планирования движения Аннотация  PDF (Rus)  похожие документы
К. А. Казаков, В. А. Семенов
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... : построение максимального независимого множества (MIS - Maximal Independent Set), поиск множества всех мостов ..."
 
Том 28, № 6 (2016) Параллельное вычисление модулярности для направленных взвешенных графов с пересекающимися сообществами Аннотация  похожие документы
Михаил Дробышевский, Антон Коршунов, Денис Турдаков
 
Том 26, № 4 (2014) Автоматическое распознавание предметно-специфичных терминов: экспериментальная проверка Аннотация  PDF (Rus)  похожие документы
Д. Г. Федоренко, Н. А. Астраханцев, Д. Ю. Турдаков
"... результаты и требует мало данных для обучения; также для обоих методов производится поиск наиболее ..."
 
Том 22 (2012) Комбинированный (статический и динамический) анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
 
Том 21 (2011) Извлечение объектов и их атрибутов из таблиц текстовых документов Аннотация  PDF (Rus)  похожие документы
Никита Астраханцев
"... Извлечение информации из таблиц является важной и достаточно сложной частью информационного поиска ..."
 
Том 31, № 4 (2019) Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик Аннотация  PDF (Rus)  похожие документы
Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев
"... основных задач, связанных с графовыми моделями, является поиск специфичных путей в графе. Естественным ..."
 
Том 28, № 1 (2016) Инфраструктура статического анализа программ на языке C# Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов
 
Том 26, № 1 (2014) Texterra: инфраструктура для анализа текстов Аннотация  PDF (Rus)  похожие документы
Денис Турдаков, Никита Астраханцев, Ярослав Недумов, Андрей Сысоев, Иван Андрианов, Владимир Майоров, Денис Федоренко, Антон Коршунов, Сергей Кузнецов
 
Том 25 (2013) Применение динамического анализа для поиска дефектов в программах на языке Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов
"... для автоматизации задачи поиска ошибок в программном обеспечении. Подробно рассмотрен метод ..."
 
Том 20 (2011) Извлечение ключевых терминов из сообщений микроблогов с помощью Википедии Аннотация  PDF (Rus)  похожие документы
А. В. Коршунов
 
Том 27, № 3 (2015) Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов Аннотация  PDF (Rus)  похожие документы
И. . Мельниченко, А. . Камкин, С. . Смолов
"... автомата и направленный поиск реализуемых путей. Первая из указанных фаз направлена на покрытие «простых ..."
 
Том 23 (2012) Тематическое моделирование текстов на естественном языке Аннотация  PDF (Rus)  похожие документы
Антон Коршунов, Андрей Гомзин
"... , как тематический поиск, классификация, суммаризация и аннотация коллекций документов и новостных ..."
 
Том 31, № 6 (2019) Обзор методов автоматизированной генерации эксплойтов повторного использования кода Аннотация  PDF (Rus)  похожие документы
Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов
"... машины задается исполняемым кодом конкретной программы. В работе приводится обзор методов поиска гаджетов ..."
 
1 - 34 из 34 результатов

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

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