Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 37, № 1 (2025) Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов Аннотация  PDF (Rus)  похожие документы
Валерий Николаевич ИГНАТЬЕВ
"... over trees with respect to union and intersection is shown, and the linear complexity of the FAT tree ..."
 
Том 35, № 6 (2023) Статический анализ на основе обобщённого абстрактного синтаксического дерева Аннотация  PDF (Rus)  похожие документы
Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Константин Игоревич ВИХЛЯНЦЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ
"... of the saved trees. We have implemented this described representation for Java, Kotlin and Python. The unified ..."
 
Том 26, № 6 (2014) Построение прямого и обратного остовов автоматами на графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... path). As a result the algorithm builds two spanning trees of the graph: the direct spanning tree ..."
 
Том 20 (2011) Использование префиксного дерева для хранения и поиска строк во внешней памяти Аннотация  PDF (Rus)  похожие документы
И. С. Таранов
"... алгоритмы для вставки, удаления и поиска строк переменной длинны в префиксных деревьях, хранимых на дисках ..."
 
Том 26, № 6 (2014) Параллельные вычисления автоматами на прямом и обратном остовах графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев, Виктор Кулямин
"... of direct and back spanning trees of the graph, which require only finite number of bits in each graph ..."
 
Том 20 (2011) Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST Аннотация  PDF (Rus)  похожие документы
С. В. Сыромятников
"... In many cases source code defects can be detected by analyzing the corresponding syntax trees ..."
 
Том 31, № 4 (2019) Самотрансформация деревьев с ограниченной степенью вершин с целью минимизации или максимизации индекса Винера Аннотация  PDF (Rus)  похожие документы
Игорь Борисович Бурдонов
"... only atomic transformations. If trees with degree bounded d (d>2) are considered ..."
 
Том 37, № 1 (2025) Система статического анализа для языка описания аппаратуры SystemVerilog Аннотация  PDF (Rus)  похожие документы
Ян Андреевич ЧУРКИН, Рубен Артурович БУЧАЦКИЙ, Константин Николаевич КИТАЕВ, Алексей Георгиевич ВОЛОХОВ, Егор Викторович ДОЛГОДВОРОВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Дмитрий Олегович САМОВАРОВ
 
Том 26, № 2 (2014) Перспективные схемы пространственно-временной индексации для визуального моделирования масштабных индустриальных проектов Аннотация  PDF (Rus)  похожие документы
В. А. Золотов, В. А. Семенов
 
Том 31, № 3 (2019) Компонент-расширение РСУБД SQLite для индексирования данных модификациями B-деревьев Аннотация  похожие документы
Антон Михайлович Ригин, Сергей Андреевич Шершаков
"... Multiway trees are one of the most popular solutions for the big data indexing. The most commonly ..."
 
Том 24 (2013) Современные методы поиска и индексации многомерных данных в приложениях моделирования больших динамических сцен Аннотация  PDF (Rus)  похожие документы
В. А. Золотов, В. А. Семенов
"... of the former approach balanced search trees, also referred as object pyramids, have been discussed ..."
 
Том 25 (2013) Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов Аннотация  PDF (Rus)  похожие документы
Н. Л. Луговской, С. В. Сыромятников
"... transformation. Currently KAST is used for matching syntactic patterns in syntactic trees built of C/C++, Java ..."
 
Том 34, № 4 (2022) Автоматическое тестирование LLVM-программ со сложными входными структурами данных Аннотация  PDF (Rus)  похожие документы
Александр Владимирович МИСОНИЖНИК, Алексей Александрович БАБУШКИН, Сергей Антонович МОРОЗОВ, Юрий Олегович КОСТЮКОВ, Дмитрий Александрович МОРДВИНОВ, Дмитрий Владимирович КОЗНОВ
"... on real C data structures — lists, binomial heaps, AVL trees, red-black trees, binary trees, and tries. ..."
 
Том 32, № 3 (2020) Подход к трансляции таблицы потоков коммутатора программно-конфигурируемой сети в язык ассемблера сетевого процессора Аннотация  похожие документы
Андрей Александрович МАРКОБОРОДОВ, Юлия Александровна СКОБЦОВА, Дмитрий Юрьевич ВОЛКАНОВ
"... , lookup operation may be implemented on the basis of search trees. But these trees cannot be directly used ..."
 
Том 30, № 2 (2018) Проблема отката в ориентированной распределенной системе Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... spanning trees of shortest paths: a out-tree and an in-tree. Section 6 contains a description ..."
 
Том 36, № 4 (2024) Интеллектуальные алгоритмы обнаружения атак в веб-среде Аннотация  похожие документы
Мария Анатольевна ЛАПИНА, Виталия Валентиновна МОВЗАЛЕВСКАЯ, Марина Евгеньевна ТОКМАКОВА, Михаил Григорьевич БАБЕНКО, Виктор Павлович КОЧИН
"... -trees algorithm is 99,9%. The gradient boosting algorithm in the CatBoos implementation is 4,2 times ..."
 
Том 24 (2013) Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, А. О. Кудрявцев, С. С. Гайсарян
"... be topology-aware to reduce network congestion. In this paper the Hop-Byte metric for the case of "fat tree ..."
 
Том 34, № 1 (2022) Обобщенная контекстно-зависимая теоретико-графовая модель фольклорных и литературных текстов Аннотация  PDF (Rus)  похожие документы
Николай Дмитриевич МОСКИН, Александр Александрович РОГОВ, Роман Владимирович ВОРОНОВ
"... , decision trees or neural networks). For this purpose, a format for storing such data was implemented ..."
 
Том 31, № 4 (2019) Регуляризация Байеса при подборе весовых коэффициентов в ансамблях предикторов Аннотация  PDF (Rus)  похожие документы
Антон Сергеевич Нужный
"... using the bagging method. Perceptrons and decision trees are considered as basic learning models ..."
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... is based on graph theory, and operations that are used in theoretical works devoted to graphs, trees, paths ..."
 
Том 31, № 6 (2019) Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями Аннотация  PDF (Rus)  похожие документы
Антон Александрович Васильев, Вадим Сергеевич Мутилин
"... abstract regions, which allow us to represent such dynamic data structures as lists and trees. One ..."
 
Том 30, № 1 (2018) Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах Аннотация  похожие документы
И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман
"... of simple path in the graph, D+ is the maximum outdegree of the vertices. The spanning trees constructed can ..."
 
1 - 22 из 22 результатов

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

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