Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 27, № 1 (2015) Мониторинг динамически меняющегося графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... is based on its traversal when message passes each arc in the graph. While there is an untraversed arc, we ..."
 
Том 27, № 1 (2015) Обход неизвестного графа коллективом автоматов. Недетерминированный случай Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... . The basis for such learning is graph traversal (traversing all its arcs accessible from the initial node ..."
 
Том 26, № 2 (2014) Обход неизвестного графа коллективом автоматов Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... Graph learning by automata is a basic task in many applications. Among these applications ..."
 
Том 26, № 6 (2014) Построение прямого и обратного остовов автоматами на графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... The paper presents a parallel graph exploration algorithm. Automaton on a graph is an analogue ..."
 
Том 28, № 1 (2016) Тестирование системы автоматов с буферизацией сообщений Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... graph of links. The nodes correspond to automata of the components and arcs correspond to simplex ..."
 
Том 28, № 1 (2016) Система автоматов: композиция по графу связей Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... graph of links. Each node of the graph corresponds to automaton of a component and an arc corresponds ..."
 
Том 27, № 2 (2015) Параллельные вычисления на динамически меняющемся графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... at the vertices of a directed strongly connected graph is considered. Computation is performed by automata ..."
 
Том 26, № 6 (2014) Параллельные вычисления автоматами на прямом и обратном остовах графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев, Виктор Кулямин
"... of values distributed on directed graph vertices. The computation is performed by message passing executed ..."
 
Том 28, № 1 (2016) Система автоматов: условия детерминизма и тестирование Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... with message passing over simplex communication channels. The system is described with an oriented graph ..."
 
Том 27, № 3 (2015) Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов Аннотация  PDF (Rus)  похожие документы
И. . Мельниченко, А. . Камкин, С. . Смолов
"... with the existing solutions. It combines random walk on a state graph and directed search of feasible paths ..."
 
Том 30, № 2 (2018) Проблема отката в ориентированной распределенной системе Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... For a distributed system based on a directed graph without multiple edges and loops ..."
 
Том 29, № 2 (2017) Общий подход к решению задач на графах коллективом автоматов Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... We propose a general method to solve graph problems by a set of automata (computational agents ..."
 
Том 26, № 1 (2014) Развитие теории конформности: семантики, формальные модели, алгоритмы Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
 
Том 34, № 5 (2022) Оценка сверху числа активных таймеров в сетях Петри с временными дугами с помощью динамических систем точек на графах Аннотация  похожие документы
Леонид Владимирович ДВОРЯНСКИЙ
"... . System of dynamic points on a metric graph (DP-systems) is another dynamical model that is studied ..."
 
Том 30, № 1 (2018) Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах Аннотация  похожие документы
И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман
"... The paper provides a review of distributed graph algorithms research conducted by authors. We ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... verification. The model categories that are mostly described here are flow or dependency graph models ..."
 
Том 32, № 6 (2020) Автоматический анализ дискретных динамических систем на метрических графах с помощью сетей Петри с временными дугами и инструмента TAPAAL Аннотация  похожие документы
Леонид Владимирович ДВОРЯНСКИЙ, Александр Александрович ИЗМАЙЛОВ
"... to tokens. System of dynamic points on a metric graph (DP-systems) is another dynamical model ..."
 
Том 22 (2012) Случайные графы, модели и генераторы безмасштабных графов Аннотация  PDF (Rus)  похожие документы
М. М. Берновски, Н. Н. Кузюрин
"... In this paper  various models of random graphs describing real networks arising in different ..."
 
Том 27, № 3 (2015) Редактор моделей процессов «Carassius» Аннотация  PDF (Rus)  похожие документы
Н. Никитина, А. Мицюк
"... Process models and graphs are commonly used for modeling and visualization of processes. They may ..."
 
Том 29, № 2 (2017) Размер памяти для хранения упорядоченного корневого графа Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... rooted connected graphs, both numbered and unnumbered. The introduction contains the basic definitions ..."
 
Том 31, № 4 (2019) Вычисление приоритетов срабатывания переходов для живых сетей Петри Аннотация  похожие документы
Кирилл Геннадьевич Серебренников
"... in the study has exponential time complexity, since it is based on construction and traversal ..."
 
Том 36, № 3 (2024) Разработка алгоритма формирования команд ИТ-проектов на основе данных цифрового следа студентов Аннотация  PDF (Rus)  похожие документы
Антонина Владимировна МЕЛЬНИКОВА, Марина Сергеевна ВОРОБЬЕВА, Елизавета Владимировна ЕГОРОВА, Елизавета Дмитриевна ЧЕКАНОВА
"... and using graph traversal. To determine the best team, a graph of student communication is built with text ..."
 
Том 27, № 3 (2015) Облачный PaaS-сервис визуального параллельного программирования в технологии графо-символического программирования Аннотация  PDF (Rus)  похожие документы
Дарья Егорова, Виктор Жидченко
"... In this paper we present the visual approach to parallel programming provided by Graph-Symbolic ..."
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... Distributed algorithms of solving problems on undirected graphs are considered. In section 2 ..."
 
Том 28, № 6 (2016) Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа Аннотация  PDF (Rus)  похожие документы
Ю. С. Трофимович, И. С. Козлов, Д. Ю. Турдаков
"... bidirectional ties - social graph. At first, we present a brief overview of the work in the field of geolocating ..."
 
Том 29, № 6 (2017) Исследование максимального размера плотного подграфа случайного графа Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин, Д. О. Лазарев
"... Random networks are often described using Erdos-Renyi model of random graph . The concept of graph ..."
 
Том 34, № 2 (2022) Модификация метода расчета полигенных рисков с использованием графа вариации Аннотация  PDF (Rus)  похожие документы
Олеся Анатольевна КОНДРАТЬЕВА, Евгений Андреевич КАРПУЛЕВИЧ
"... Representation of the DNA sequence is possible in various ways. The variation graph is one ..."
 
Том 26, № 4 (2014) Улучшение качества разбиения графа с помощью многоуровневой оптимизации Аннотация  PDF (Rus)  похожие документы
Р. К. Пастухов, А. В. Коршунов, Д. Ю. Турдаков, С. Д. Кузнецов
"... Graph partitioning is required for solving tasks on graphs that need to be split across disks ..."
 
Том 33, № 4 (2021) Многослойный подход к поиску изоморфных подграфов в HP-графах Аннотация  похожие документы
Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА
"... the user requirements. Visual languages are usually based on graph models, but the graph types used have ..."
 
Том 28, № 5 (2016) Ускорение оптимизации программ во время связывания Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова, С. В. Аришин
"... LTO on them in parallel. We use program call graph analysis to divide a program to parts. Therefore ..."
 
Том 34, № 1 (2022) Обобщенная контекстно-зависимая теоретико-графовая модель фольклорных и литературных текстов Аннотация  PDF (Rus)  похожие документы
Николай Дмитриевич МОСКИН, Александр Александрович РОГОВ, Роман Владимирович ВОРОНОВ
"... of recording, etc.). The article presents a generalized context-dependent graph-theoretic model designed ..."
 
Том 32, № 2 (2020) HP-граф как основа для разработки редактора визуальных моделей DSM-платформы Аннотация  похожие документы
Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА
"... on graph models, but the types of graphs used have certain limitations, such as insufficient expressiveness ..."
 
Том 26, № 3 (2014) Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами Аннотация  PDF (Rus)  похожие документы
В. В. Подымов, В. А. Захаров
"... that equivalence checking of two programs is reducible to a traversal of a bounded fragment of the graph of joint ..."
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... is based on graph theory, and operations that are used in theoretical works devoted to graphs, trees, paths ..."
 
Том 30, № 4 (2018) Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем Аннотация  похожие документы
Х. С. Карраскель, А. Моралес, М. Е. Виллаполь
"... such as the generation of a minimized deterministic finite-state automaton (FSA) from a CPN’s occurrence graph, language ..."
 
Том 31, № 4 (2019) Самотрансформация деревьев с ограниченной степенью вершин с целью минимизации или максимизации индекса Винера Аннотация  PDF (Rus)  похожие документы
Игорь Борисович Бурдонов
"... We consider a distributed network whose communication graph is a non-oriented tree. It is assumed ..."
 
Том 29, № 3 (2017) О задаче приближенного нахождения максимальной двудольной клики Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин
"... In this paper, we consider the problem of finding large hidden clique in random graph and it ..."
 
Том 36, № 4 (2024) GraphTyper: Вывод типов из графовой репрезентации кода посредством нейронных сетей Аннотация  PDF (Rus)  похожие документы
Герман Арсенович АРУТЮНОВ, Сергей Михайлович АВДОШИН
"... of Transformers and graph representations of code, it is possible to achieve excellent results even ..."
 
Том 31, № 4 (2019) Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик Аннотация  PDF (Rus)  похожие документы
Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев
"... Graph data models are widely used in different areas of computer science such as bioinformatics ..."
 
1 - 39 из 162 результатов 1 2 3 4 5 > >> 

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

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