Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 1 (2016) Тестирование системы автоматов с буферизацией сообщений Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... graph of links. The nodes correspond to automata of the components and arcs correspond to simplex ..."
 
Том 26, № 6 (2014) Построение прямого и обратного остовов автоматами на графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... as an aggregate of finite automatons located in graph vertices and interacting by message sending. Each automaton ..."
 
Том 28, № 1 (2016) Система автоматов: композиция по графу связей Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... is described with message passing over simplex communication channels. The system is described with a directed ..."
 
Том 27, № 1 (2015) Мониторинг динамически меняющегося графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... the network links represented as arcs of the graph and act as message transfer channels. The graph monitoring ..."
 
Том 29, № 2 (2017) Общий подход к решению задач на графах коллективом автоматов Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... ) located in vertices of undirected ordered connected rooted graph and communicating by passing messages ..."
 
Том 27, № 2 (2015) Параллельные вычисления на динамически меняющемся графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... arcs go. The automata exchange messages with each other that are transmitted along the graph arcs ..."
 
Том 27, № 1 (2015) Обход неизвестного графа коллективом автоматов. Недетерминированный случай Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... with their orientation and exchange messages through independent (of the graph) communication network. The total memory ..."
 
Том 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 ..."
 
Том 30, № 2 (2018) Проблема отката в ориентированной распределенной системе Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... vertex. The task is to create a structure on the graph that allows the message to be transmitted from ..."
 
Том 26, № 2 (2014) Обход неизвестного графа коллективом автоматов Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... Graph learning by automata is a basic task in many applications. Among these applications ..."
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... Distributed algorithms of solving problems on undirected graphs are considered. In section 2 ..."
 
Том 30, № 1 (2018) Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах Аннотация  похожие документы
И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман
"... log D+) message size and the same size of memory of each computing agent located in graph vertex ..."
 
Том 34, № 5 (2022) Определение влиятельных пользователей социальной сети по двудольному графу комментариев Аннотация  PDF (Rus)  похожие документы
Роман Константинович ПАСТУХОВ, Михаил Дмитриевич ДРОБЫШЕВСКИЙ, Денис Юрьевич ТУРДАКОВ
"... influence based on a bipartite user-comment-content graph. It incorporates information about text messages ..."
 
Том 31, № 6 (2019) Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями Аннотация  PDF (Rus)  похожие документы
Антон Александрович Васильев, Вадим Сергеевич Мутилин
"... verification against memory safety errors as a combination of Symbolic Memory Graphs and predicate abstraction ..."
 
Том 32, № 6 (2020) Автоматический анализ дискретных динамических систем на метрических графах с помощью сетей Петри с временными дугами и инструмента TAPAAL Аннотация  похожие документы
Леонид Владимирович ДВОРЯНСКИЙ, Александр Александрович ИЗМАЙЛОВ
"... to tokens. System of dynamic points on a metric graph (DP-systems) is another dynamical model ..."
 
Том 26, № 4 (2014) Улучшение качества разбиения графа с помощью многоуровневой оптимизации Аннотация  PDF (Rus)  похожие документы
Р. К. Пастухов, А. В. Коршунов, Д. Ю. Турдаков, С. Д. Кузнецов
"... Graph partitioning is required for solving tasks on graphs that need to be split across disks ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... verification. The model categories that are mostly described here are flow or dependency graph models ..."
 
Том 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 ..."
 
Том 26, № 1 (2014) Анализ социальных сетей: методы и приложения Аннотация  PDF (Rus)  похожие документы
Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов
"... between users) and textual (user messages and profiles) data analysis: demographic attribute detection ..."
 
Том 27, № 3 (2015) Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов Аннотация  PDF (Rus)  похожие документы
И. . Мельниченко, А. . Камкин, С. . Смолов
"... with the existing solutions. It combines random walk on a state graph and directed search of feasible paths ..."
 
Том 27, № 3 (2015) Облачный PaaS-сервис визуального параллельного программирования в технологии графо-символического программирования Аннотация  PDF (Rus)  похожие документы
Дарья Егорова, Виктор Жидченко
"... In this paper we present the visual approach to parallel programming provided by Graph-Symbolic ..."
 
Том 28, № 6 (2016) Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа Аннотация  PDF (Rus)  похожие документы
Ю. С. Трофимович, И. С. Козлов, Д. Ю. Турдаков
"... bidirectional ties - social graph. At first, we present a brief overview of the work in the field of geolocating ..."
 
Том 26, № 1 (2014) Развитие теории конформности: семантики, формальные модели, алгоритмы Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
 
Том 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 ..."
 
Том 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 ..."
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... is based on graph theory, and operations that are used in theoretical works devoted to graphs, trees, paths ..."
 
Том 27, № 3 (2015) Совмещенный классификатор для фильтрации сообщений на веб сайтах Аннотация  PDF (Rus)  похожие документы
Вениамин Тарасов, Екатерина Мезенцева, Данила Карбаев
"... The paper describes a new approach to website messages filtration using combined classifier ..."
 
Том 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 из 197 результатов 1 2 3 4 5 6 > >> 

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

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