Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 32, № 2 (2020) HP-граф как основа для разработки редактора визуальных моделей DSM-платформы Аннотация  похожие документы
Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА
"... on graph models, but the types of graphs used have certain limitations, such as insufficient expressiveness ..."
 
Том 33, № 4 (2021) Многослойный подход к поиску изоморфных подграфов в HP-графах Аннотация  похожие документы
Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА
"... the user requirements. Visual languages are usually based on graph models, but the graph types used have ..."
 
Том 22 (2012) Случайные графы, модели и генераторы безмасштабных графов Аннотация  PDF (Rus)  похожие документы
М. М. Берновски, Н. Н. Кузюрин
"... In this paper  various models of random graphs describing real networks arising in different ..."
 
Том 26, № 2 (2014) Обход неизвестного графа коллективом автоматов Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... basing on formal models. The system or network model, in the final analysis, is a transition graph ..."
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... are also included into graph model, some of them are similar to array sorting algorithms, and some are more ..."
 
Том 34, № 1 (2022) Обобщенная контекстно-зависимая теоретико-графовая модель фольклорных и литературных текстов Аннотация  PDF (Rus)  похожие документы
Николай Дмитриевич МОСКИН, Александр Александрович РОГОВ, Роман Владимирович ВОРОНОВ
"... of recording, etc.). The article presents a generalized context-dependent graph-theoretic model designed ..."
 
Том 29, № 6 (2017) Исследование максимального размера плотного подграфа случайного графа Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин, Д. О. Лазарев
"... Random networks are often described using Erdos-Renyi model of random graph . The concept of graph ..."
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... for these problems. In section 6, for synchronous model, the time of algorithms execution with graph labeling ..."
 
Том 30, № 2 (2018) Проблема отката в ориентированной распределенной системе Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... of the graph. Section 2 describes the asynchronous model of the distributed system used. Section 3 contains ..."
 
Том 27, № 1 (2015) Обход неизвестного графа коллективом автоматов. Недетерминированный случай Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... -life systems and networks and, consequently, the size of their graph models continuously grows ..."
 
Том 29, № 2 (2017) Общий подход к решению задач на графах коллективом автоматов Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... We propose a general method to solve graph problems by a set of automata (computational agents ..."
 
Том 28, № 1 (2016) Тестирование системы автоматов с буферизацией сообщений Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... graph of links. The nodes correspond to automata of the components and arcs correspond to simplex ..."
 
Том 27, № 1 (2015) Мониторинг динамически меняющегося графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... when the graph models a communication network including Internet and GRID. A node of the network has ..."
 
Том 30, № 1 (2018) Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах Аннотация  похожие документы
И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман
"... consider an asynchronous distributed system model represented by a strongly connected directed rooted graph ..."
 
Том 27, № 3 (2015) Редактор моделей процессов «Carassius» Аннотация  PDF (Rus)  похожие документы
Н. Никитина, А. Мицюк
"... Process models and graphs are commonly used for modeling and visualization of processes. They may ..."
 
Том 28, № 6 (2016) Метод автоматического определения возраста пользователей с помощью социальных связей Аннотация  PDF (Rus)  похожие документы
А. Г. Гомзин, С. Д. Кузнецов
"... network: explicit users’ ages and social graph. The graph contains nodes representing users ..."
 
Том 32, № 6 (2020) Моделирование технических и математических задач прикладных областей знаний на ЭВМ Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна ЛАВРИЩЕВА, Игорь Борисович ПЕТРОВ
"... , algorithmization and programming using the A.A. Lyapunov graph-schematic language, address language and programming ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... verification. The model categories that are mostly described here are flow or dependency graph models ..."
 
Том 36, № 4 (2024) GraphTyper: Вывод типов из графовой репрезентации кода посредством нейронных сетей Аннотация  PDF (Rus)  похожие документы
Герман Арсенович АРУТЮНОВ, Сергей Михайлович АВДОШИН
"... on Codex, a Transformer model trained on code as a sequence. However, a sequence is not a perfect ..."
 
Том 26, № 5 (2014) Стохастическая модель процесса идентификации сервисов информационной системы Аннотация  PDF (Rus)  похожие документы
Г. Н. Циперман
"... is been modeled as connected random graph construction process by Erdosh-Renyi model. Model predictions ..."
 
Том 31, № 4 (2019) Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик Аннотация  PDF (Rus)  похожие документы
Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев
"... Graph data models are widely used in different areas of computer science such as bioinformatics ..."
 
Том 36, № 5 (2024) Дилемма защитника: совместимы ли методы защиты от разных атак на модели машинного обучения? Аннотация  PDF (Rus)  похожие документы
Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Игорь Николаевич МЕЛЕШИН
"... the relationship between defense methods for AI models against different types of threats on graph data. Our ..."
 
Том 30, № 6 (2018) Статическая верификация ошибок использования памяти в модулях ядра ОС Linux Аннотация  похожие документы
А. А. Васильев
"... to analyze the Linux kernel as a whole, so we use a simplified automatically generated environment model ..."
 
Том 34, № 1 (2022) Программная реализация системы обработки метаграфов на основе подхода Больших Данных Аннотация  похожие документы
Валерий Михайлович ЧЕРНЕНЬКИЙ, Иван Владимирович ДУНИН, Юрий Евгеньевич ГАПАНЮК
"... . The metagraph representation using the flat graph model is discussed. The flat graph and metagraph Big Data ..."
 
Том 36, № 4 (2024) Объединение графов непосредственного следования и диаграмм Санкей для визуализации ациклических процессов Аннотация  похожие документы
Илья Денисович ДЕРЕЗОВСКИЙ, Никита Денисович ШАИМОВ, Ирина Александровна ЛОМАЗОВА, Алексей Александрович МИЦЮК
"... -Follows Graphs (DFG) and Sankey diagrams. DFG is a popular graphical model to visualize discrete process ..."
 
Том 26, № 1 (2014) Развитие теории конформности: семантики, формальные модели, алгоритмы Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... , was characterized by generalization of the interaction semantics, models and conformances in use. The necessity ..."
 
Том 36, № 5 (2024) Так ли безопасна интерпретируемость ИИ: взаимосвязь интерпретируемости и защищенности моделей машинного обучения Аннотация  PDF (Rus)  похожие документы
Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Серафим Константинович БОЯРСКИЙ, Илья Андреевич МАКАРОВ
"... methodologies for constructing black-box attacks on graph models based on interpretation results and demonstrate ..."
 
Том 34, № 5 (2022) Оценка сверху числа активных таймеров в сетях Петри с временными дугами с помощью динамических систем точек на графах Аннотация  похожие документы
Леонид Владимирович ДВОРЯНСКИЙ
"... . System of dynamic points on a metric graph (DP-systems) is another dynamical model that is studied ..."
 
Том 28, № 5 (2016) Ускорение оптимизации программ во время связывания Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова, С. В. Аришин
"... concurrently. The problem is complicated by the compiler pipeline model: interprocedural optimization passes ..."
 
Том 29, № 2 (2017) Размер памяти для хранения упорядоченного корневого графа Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... rooted connected graphs, both numbered and unnumbered. The introduction contains the basic definitions ..."
 
Том 32, № 6 (2020) Автоматический анализ дискретных динамических систем на метрических графах с помощью сетей Петри с временными дугами и инструмента TAPAAL Аннотация  похожие документы
Леонид Владимирович ДВОРЯНСКИЙ, Александр Александрович ИЗМАЙЛОВ
"... to tokens. System of dynamic points on a metric graph (DP-systems) is another dynamical model ..."
 
Том 35, № 1 (2023) Сравнение графовых векторных представлений исходного кода с текстовыми моделями на основе архитектур CNN и CodeBERT Аннотация  PDF (Rus)  похожие документы
Виталий Анатольевич РОМАНОВ, Владимир Владимирович ИВАНОВ
"... and graph embeddings as part of a hybrid model can improve the accuracy of type classification by more than ..."
 
Том 26, № 6 (2014) Построение прямого и обратного остовов автоматами на графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... The paper presents a parallel graph exploration algorithm. Automaton on a graph is an analogue ..."
 
Том 31, № 6 (2019) Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями Аннотация  PDF (Rus)  похожие документы
Антон Александрович Васильев, Вадим Сергеевич Мутилин
"... verification against memory safety errors as a combination of Symbolic Memory Graphs and predicate abstraction ..."
 
Том 37, № 2 (2025) Поиск именованных сущностей в инструкциях по медицинскому применению лекарственных средств с использованием глубокого обучения и методов обработки естественного языка Аннотация  PDF (Rus)  похожие документы
Юрий Павлович ТИТОВ, Никита Владимирович КИЛЬМИШКИН, Дмитрий Дмитриевич КУБРАКОВ, Полина Михайловна ИВАНОВА
"... was previously cleaned and brought to a single format to improve the quality of model training. In the future ..."
 
Том 36, № 3 (2024) Разработка алгоритма формирования команд ИТ-проектов на основе данных цифрового следа студентов Аннотация  PDF (Rus)  похожие документы
Антонина Владимировна МЕЛЬНИКОВА, Марина Сергеевна ВОРОБЬЕВА, Елизавета Владимировна ЕГОРОВА, Елизавета Дмитриевна ЧЕКАНОВА
"... using graphs. An algorithm based on a graph model has been proposed, which allows you to build a graph ..."
 
Том 27, № 2 (2015) Параллельные вычисления на динамически меняющемся графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... at the vertices of a directed strongly connected graph is considered. Computation is performed by automata ..."
 
Том 31, № 3 (2019) Поиск конфликтов доступа к данным в HDL-описаниях Аннотация  похожие документы
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов
"... . HDL descriptions are automatically translated into formal models suitable for the nuXmv model checker ..."
 
Том 27, № 3 (2015) Облачный PaaS-сервис визуального параллельного программирования в технологии графо-символического программирования Аннотация  PDF (Rus)  похожие документы
Дарья Егорова, Виктор Жидченко
"... In this paper we present the visual approach to parallel programming provided by Graph-Symbolic ..."
 
1 - 39 из 610 результатов 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 > >> 

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

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