Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 27, № 6 (2015) Статический анализатор Svace как коллекция анализаторов разных уровней сложности Аннотация  PDF (Rus)  похожие документы
А. Е. Бородин, А. А. Белеванцев
"... синтаксического дерева и анализ потока данных. Все описанные алгоритмы были реализованы в инструменте статического ..."
 
Том 20 (2011) Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST Аннотация  PDF (Rus)  похожие документы
С. В. Сыромятников
"... синтаксического дерева. В данной статье рассматриваются преимущества и недостатки данного подхода, в сравнении с ..."
 
Том 20 (2011) Использование префиксного дерева для хранения и поиска строк во внешней памяти Аннотация  PDF (Rus)  похожие документы
И. С. Таранов
"... алгоритмы для вставки, удаления и поиска строк переменной длинны в префиксных деревьях, хранимых на дисках ..."
 
Том 31, № 3 (2019) Компонент-расширение РСУБД SQLite для индексирования данных модификациями B-деревьев Аннотация  похожие документы
Антон Михайлович Ригин, Сергей Андреевич Шершаков
"... Сильно ветвящиеся деревья являются одним из наиболее популярных решений для индексирования больших ..."
 
Том 32, № 2 (2020) Модификация алгоритма Валианта для задачи поиска подстрок Аннотация  PDF (Rus)  похожие документы
Юлия Алексеевна СУСАНИНА, Анна Никитична ЯВЕЙН, Семен Вячеславович ГРИГОРЬЕВ
"... объёмов данных, что приводит к необходимости усовершенствования существующих методов синтаксического ..."
 
Том 23 (2012) «Ленивый» анализ исходного кода на языках С и С++ Аннотация  PDF (Rus)  похожие документы
В. О. Савицкий, Д. В. Сидоров
"... В статье описывается метод построения синтаксического анализатора, позволяющий существенно ..."
 
Том 30, № 2 (2018) Алгоритм удаления невидимых поверхностей на основе программных проверок видимости Аннотация  PDF (Rus)  похожие документы
В. И. Гонахчян
 
Том 25 (2013) Исследование и развитие метода декомпозиции для анализа больших пространственных данных Аннотация  PDF (Rus)  похожие документы
В. А. Золотов, В. А. Семенов
"... пространственных данных. Главное внимание уделяется алгоритмам, основанным на регулярных октальных деревьях и ..."
 
Том 26, № 2 (2014) Перспективные схемы пространственно-временной индексации для визуального моделирования масштабных индустриальных проектов Аннотация  PDF (Rus)  похожие документы
В. А. Золотов, В. А. Семенов
 
Том 26, № 4 (2014) Сортировать или нет: экспериментальное сравнение R-Tree и B+-Tree в транзакционной системе для упорядоченной выдачи Аннотация  PDF (Rus)  похожие документы
П. В. Федотовский, Г. А. Ерохин, К. Е. Чередник, К. К. Смирнов, Г. А. Чернышев
"... структуры данных - R-дерево и B+-дерево, которые используются в транзакционной системе с использованием ..."
 
Том 30, № 6 (2018) О новом поколении промежуточных представлений, применяемых для анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко
"... работы процессора при конкретной и абстрактной интерпретации и символьном выполнении. ..."
 
Том 31, № 3 (2019) C# парсер для извлечения структуры криптографических протоколов из исходного кода Аннотация  похожие документы
Илья Александрович Писарев, Людмила Климентьевна Бабенко
"... . Кроме того, формальная верификация использует довольно абстрактные понятия и не позволяет полностью ..."
 
Том 31, № 6 (2019) Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян
"... разработанной авторами абстрактной стековой машины. Несмотря на неизбежные накладные расходы, обусловленные ..."
 
Том 30, № 2 (2018) Синтаксический анализ графов с использованием конъюнктивных грамматик Аннотация  PDF (Rus)  похожие документы
Р. Ш. Азимов, С. В. Григорьев
"... -свободные грамматики. Использование конъюнктивных грамматик в задаче синтаксического анализа графов ..."
 
Том 31, № 3 (2019) Толерантный синтаксический анализ с использованием модифицированных алгоритмов LL(1) и LR(1) со встроенной обработкой символа «Any» Аннотация  похожие документы
Алексей Валерьевич Головешкин
"... Толерантный синтаксический анализ используется для разбора структуры областей программы ..."
 
Том 29, № 5 (2017) Моделирование программно-аппаратных систем и анализ их безопасности Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов, С. А. Зеленова
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... в графе (FSB - Finding Set of Bridges), построение минимального остовного дерева во взвешенном графе ..."
 
Том 29, № 4 (2017) Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Аннотация  похожие документы
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... , ориентированный и неориентированный граф, остовное дерево, цикл. Приводятся интерфейсы важнейших перегруженных ..."
 
Том 30, № 1 (2018) Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы Аннотация  похожие документы
В. Н. Юдин, Л. Е. Карпов
 
1 - 20 из 20 результатов

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

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