Сортировать по:
Выпуск | Название | |
Том 27, № 1 (2020) | Параллельный алгоритм решения задачи об изоморфизме графов | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... In this paper, we offer an efficient parallel algorithm for solving the Graph Isomorphism Problem ..." | ||
Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... The paper describes software components to support recursive-parallel programming for the .NET ..." | ||
Том 29, № 1 (2022) | Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... The paper proposes a parallel algorithm for solving the Graph-Subgraph Isomorphism Problem ..." | ||
Том 28, № 3 (2021) | Исправление к статье: В. В. Васильчиков, «Параллельный алгоритм решения задачи об изоморфизме графов», Моделирование и анализ информационных систем, Том 27, №1, с. 86–94, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-1-86-94 | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... In the article by V. V. Vasilchikov “Parallel Algorithm for Solving the Graph Isomorphism Problem ..." | ||
Том 23, № 4 (2016) | Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера | Аннотация PDF (Rus) похожие документы |
В. В. Васильчиков | ||
"... to develop effective applications for parallel computing on a local network using any .NET-compatible ..." | ||
Том 30, № 2 (2023) | Рекурсивно-параллельный алгоритм поиска максимального общего подграфа | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... . Both the sequential and the parallel version of the algorithm, their software implementation ..." | ||
Том 20, № 2 (2013) | Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей | Аннотация PDF (Rus) похожие документы |
Анна Шмилевна Непомнящая | ||
"... tree of a directed weighted graph after deleting an edge. To this end, we provide the data structure ..." | ||
Том 29, № 4 (2022) | Замечания о графах достижимости сетей Петри | Аннотация PDF (Rus) похожие документы |
Юрий Анатольевич Белов | ||
"... The question is considered - which graphs are isomorphic to the reachability graphs of Petri nets ..." | ||
Том 19, № 2 (2012) | Потоки в обобщенных сетях со связанными дугами | Аннотация PDF (Rus) похожие документы |
Владимир Александрович Скороходов | ||
"... The problem of finding the maximum flow in nets of a special form is considered. In such nets ..." | ||
Том 25, № 2 (2018) | О рекурсивно-параллельном алгоритме решения задачи о рюкзаке | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... allows us to develop effective applications for parallel computing on a local network in the .NET ..." | ||
Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
"... flow parallel programming language Pifagor is the absence of explicitly specified cyclic computations ..." | ||
Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
"... Functional dataflow programming languages are designed to create parallel portable programs ..." | ||
Том 19, № 5 (2012) | Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools | Аннотация PDF (Rus) похожие документы |
Леонид Владимирович Дворянский, Ирина Александровна Ломазова | ||
"... Nested Petri nets (NP-nets) are an extension of Petri net formalism within the “netswithin-nets ..." | ||
Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
М. С. Ушакова, А. И. Легалов | ||
"... of deduction is not widely used for verification of parallel programs because of high complexity of the process ..." | ||
Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
"... functional parallel language Pifagor. In this language the program could be represented as a data flow graph ..." | ||
Том 21, № 6 (2014) | Управляемые тупики в параллельных ресурсно-ограниченных потоках работ | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова | ||
"... , but cannot be created or spent. Two sound RCWF-nets using the same set of resources can be put in parallel ..." | ||
Том 19, № 6 (2012) | Наследcтвенные свойства модульных сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... Hereditary graph properties are those that can be inherited from the graph to all its subgraphs ..." | ||
Том 19, № 4 (2012) | Конструктивная классификация графов | Аннотация PDF (Rus) похожие документы |
Михаил Анатольевич Иорданский | ||
"... The classes of graphs closed regarding the set-theoretical operations of union and intersection ..." | ||
Том 21, № 6 (2014) | Программный комплекс для анализа и визуализации графов | Аннотация PDF (Rus) похожие документы |
Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский | ||
"... This paper describes the software for graph storage, analysis and visualization. The article ..." | ||
Том 24, № 4 (2017) | О пространственной ограниченности клеточных Р-сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... CRDA-net is proposed, based on the new concept of the RDA propagation graph. An algorithm is described ..." | ||
Том 29, № 3 (2022) | Двухшаговая раскраска графов решетки различных типов | Аннотация PDF (Rus) похожие документы |
Александр Валерьевич Смирнов | ||
"... In this article, we consider the NP-hard problem of the two-step colouring of a graph ..." | ||
Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
Н. В. Шилов | ||
"... There is a widespread and rapidly growing interest to the parallel programming nowadays ..." | ||
Том 24, № 6 (2017) | Задача о кратчайшем пути в кратном графе | Аннотация PDF (Rus) похожие документы |
Александр Валерьевич Смирнов | ||
"... In the article, the definition of an undirected multiple graph of any natural multiplicity k > 1 ..." | ||
Том 25, № 4 (2018) | Остовное дерево в делимом кратном графе | Аннотация PDF (Rus) похожие документы |
Александр Валерьевич Смирнов | ||
"... In this paper, we study undirected multiple graphs of any natural multiplicity k > 1 ..." | ||
Том 26, № 3 (2019) | NP-полнота и один полиномиальный подкласс задачи о двухшаговой раскраске графа | Аннотация PDF (Rus) похожие документы |
Наталья Сергеевна Медведева, Александр Валерьевич Смирнов | ||
"... In this paper, we study the two-step colouring problem for an undirected connected graph ..." | ||
Том 19, № 6 (2012) | Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ | Аннотация PDF (Rus) похожие документы |
Анатолий Игоревич Антонов, Владимир Александрович Бондаренко | ||
"... We provide an effective description of graphs of polyhedra for GRAPH PARTITIONING and COMPLETE ..." | ||
Том 17, № 1 (2010) | Визуализация динамических графов для анализа сложных сетей | Аннотация PDF (Rus) похожие документы |
С. Н. Пупырев, А. В. Тихонов | ||
"... The work describes a technique for dynamic graph visualization that helps us to analyze complex ..." | ||
Том 30, № 2 (2023) | Графы сигнальных переходов для схем асинхронного тракта данных | Аннотация похожие документы |
Александр Кушнеров, Сергей Быстров | ||
"... The paper proposes a method for constructing signal transition graphs (STGs), which are directly ..." | ||
Том 23, № 6 (2016) | Генерация графа социальной сети с использованием Apache Spark | Аннотация PDF (Rus) похожие документы |
Ю. А. Белов, С. И. Вовчок | ||
"... We plan to create a method of clustering a social network graph. For testing the method ..." | ||
Том 30, № 1 (2023) | Оптимизированный алгоритм поиска кратчайшего пути в кратном графе | Аннотация PDF (Rus) похожие документы |
Александр Валерьевич Смирнов | ||
"... In this paper, we study undirected multiple graphs of any natural multiplicity $k>1 ..." | ||
Том 31, № 1 (2024) | NP-полнота задачи об эйлеровом маршруте в кратном графе | Аннотация PDF (Rus) похожие документы |
Александр Валерьевич Смирнов | ||
"... In this paper, we study undirected multiple graphs of any natural multiplicity $k>1 ..." | ||
Том 15, № 1 (2008) | Среда рекурсивно-параллельного программирования для Win32 | Аннотация PDF (Rus) похожие документы |
В. В. Васильчиков | ||
"... The new version of the recursive parallel programming shell for Win32 is reviewed. ..." | ||
Том 30, № 3 (2023) | Применение алгоритма поиска внешней медианы графа в задачах определения надежности технических систем | Аннотация PDF (Rus) похожие документы |
Юрий Андреевич Плакса, Светлана Алексеевна Курочкина, Наталия Александровна Прусова | ||
"... is considered. This problem was solved using the minisum algorithm of graph theory. The dependence of the system ..." | ||
Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
"... The paper presents a new approach to autotuning data-parallel programs. Autotuning is a search ..." | ||
Том 20, № 5 (2013) | Замкнутые локально минимальные сети на поверхностях выпуклых многогранников | Аннотация PDF (Rus) похожие документы |
Наталия Павловна Стрелкова | ||
"... of a graph provided that all edges are geodesic arcs and at each vertex exactly three adges meet at angles ..." | ||
Том 21, № 5 (2014) | Характеристики сложности: кликовое число графа многогранника и число прямоугольного покрытия | Аннотация PDF (Rus) похожие документы |
Александр Николаевич Максименко | ||
"... In the 1980s V.A. Bondarenko found that the clique number of the graph of a polytope in many cases ..." | ||
Том 29, № 4 (2022) | Полиномиальный алгоритм поиска кратчайшего пути в делимом кратном графе | Аннотация PDF (Rus) похожие документы |
Александр Валерьевич Смирнов | ||
"... In this paper, we study undirected multiple graphs of any natural multiplicity к > 1 ..." | ||
Том 28, № 2 (2021) | Выделение условий разрешимости NP-полных задач для класса предфрактальных графов | Аннотация PDF (Rus) похожие документы |
Александр Васильевич Тимошенко, Расул Ахматович Кочкаров, Азрет Ахматович Кочкаров | ||
"... on the construction of optimal substructures of network systems described in the form of various classes of graphs ..." | ||
Том 31, № 3 (2024) | Некоторые полиномиальные подклассы задачи об эйлеровом маршруте в кратном графе | Аннотация PDF (Rus) похожие документы |
Александр Валерьевич Смирнов | ||
"... In this paper, we study undirected multiple graphs of any natural multiplicity $k>1 ..." | ||
Том 19, № 4 (2012) | Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева | ||
"... The peculiarities of transforming functional dataflow parallel programs into programs with finite ..." | ||
Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
"... The article is devoted to the methods of proving parallel programs correctness that are based ..." | ||
Том 28, № 4 (2021) | Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ | Аннотация PDF (Rus) похожие документы |
Андрей Михайлович Миронов | ||
"... The paper presents a new mathematical model of parallel programs, on the basis of which ..." | ||
Том 23, № 6 (2016) | Построение каскадной параллельной композиции временных автоматов с использованием BALM-II | Аннотация PDF (Rus) похожие документы |
М. Л. Громов, Н. В. Шабалдина | ||
"... In this paper, we consider the problem of deriving a cascade parallel composition of timed finite ..." | ||
Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
"... .The results of the development of methods and algorithms for transformation functional-parallel programs ..." | ||
Том 30, № 3 (2023) | Алгоритмы для задач об эйлеровом цикле и эйлеровой цепи в кратном графе | Аннотация PDF (Rus) похожие документы |
Александр Валерьевич Смирнов | ||
"... In this paper, we study undirected multiple graphs of any natural multiplicity $k>1 ..." | ||
Том 15, № 1 (2008) | Библиотека параллельного исполнения rpC-программ для Win32 | Аннотация PDF (Rus) похожие документы |
В. В. Васильчиков, А. В. Шубин | ||
"... The new version of the library for parallel execution of rpC-programs under Win32 is reviewed ..." | ||
Том 20, № 2 (2013) | Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов | Аннотация PDF (Rus) похожие документы |
Вильгельм Александрович Битнер, Никита Владимирович Заборовский | ||
"... flow graph which is supposed to be architecture-independent and applicable to the description of any ..." | ||
Том 19, № 2 (2012) | Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло | Аннотация PDF (Rus) похожие документы |
Лев Юрьевич Бараш, Лев Николаевич Щур | ||
"... of parallel random number streams for Monte Carlo simulations are considered. The probability equidistribution ..." | ||
Том 18, № 3 (2011) | Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры | Аннотация PDF (Rus) похожие документы |
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов | ||
"... function values using parallel computing without loss in accuracy is suggested. This procedure is realized ..." | ||
Том 28, № 1 (2021) | NP-полнота задачи о минимальном остовном дереве в кратном графе кратности k ≥ 3 | Аннотация PDF (Rus) похожие документы |
Александр Валерьевич Смирнов | ||
"... In this paper, we study undirected multiple graphs of any natural multiplicity k > 1 ..." | ||
Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
Томас Баар, Сергей Михайлович Старолетов | ||
Том 30, № 4 (2023) | Алгоритм предсказания связей в саморегулирующейся сети с адаптивной топологией на базе теории графов и машинного обучения | Аннотация PDF (Rus) похожие документы |
Евгений Юрьевич Павленко | ||
"... The paper presents a graph model of the functioning of a network with adaptive topology, where ..." | ||
Том 18, № 1 (2011) | Стратегия выполнения операций копирования и удаления в дереве объектов | Аннотация PDF (Rus) похожие документы |
А. В. Майоров | ||
Том 29, № 1 (2022) | Алгоритм углового сверхразрешения с использованием разложения Холецкого и его реализация на основе технологии параллельных вычислений | Аннотация PDF (Rus) похожие документы |
Сергей Евгеньевич Мищенко, Николай Витальевич Шацкий | ||
"... computer. Numerical estimates of the performance of the proposed and original algorithm using parallel ..." | ||
Том 23, № 6 (2016) | Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик | Аннотация PDF (Rus) похожие документы |
О. Б. Кушнаренко, Ж.-Ф. Вебер | ||
"... is the establishment of correctness results proving component-based systems reconfigurations using graph grammars. New ..." | ||
Том 24, № 2 (2017) | Полиэдральные характеристики задач о сбалансированном и несбалансированном двудольных подграфах | Аннотация PDF (Rus) похожие документы |
Владимир Александрович Бондаренко, Андрей Валерьевич Николаев, Джамболет Азаматович Шовгенов | ||
"... in a bipartite graph. In the first problem we consider a balanced biclique with the same number of vertices ..." | ||
Том 25, № 6 (2018) | Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов | Аннотация PDF (Rus) похожие документы |
Анна Алексеевна Каленкова, Данил Александрович Колесников | ||
"... Finding graph-edit distance (graph similarity) is an important task in many computer science areas ..." | ||
Том 27, № 2 (2020) | Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова | ||
"... A statically typed version of the data driven functional parallel computing model is proposed ..." | ||
Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев | ||
"... is an intermediate verification language in this system. Cloud parallel programming system (CPPS) is also developed ..." | ||
Том 22, № 4 (2015) | Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях | Аннотация PDF (Rus) похожие документы |
В. А. Бондаренко, А. В. Николаев, Д. А. Шовгенов | ||
"... bounds on the clique numbers of these graphs. These values characterize the time complexity in a broad ..." | ||
Том 19, № 4 (2012) | Обобщенные асинхронные системы | Аннотация PDF (Rus) похожие документы |
Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов | ||
"... is an asynchronous system. Distributed asynchronous automata are introduced here. It is proved that Petri nets ..." | ||
Том 27, № 2 (2020) | Метод совместной кластеризации в графовом и корреляционном пространствах | Аннотация PDF (Rus) похожие документы |
Анастасия Наильевна Гайнуллина, Анатолий Абрамович Шалыто, Алексей Александрович Сергушичев | ||
"... , an iterative method is proposed at takes as the input graph G and matrix X, in which the rows correspond ..." | ||
Том 14, № 4 (2007) | Сети активных ресурсов | Аннотация PDF (Rus) похожие документы |
В. А. Башкин | ||
"... In this work nets of active resources (AR-nets) are presented. This is a generalization of Petri ..." | ||
Том 18, № 4 (2011) | Построение приближений бисимуляции в односчетчиковых сетях | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... One-counter nets are finite-state machines operating on a variable (counter) which ranges over ..." | ||
Том 20, № 2 (2013) | Группы гомологий сети Петри конвейера | Аннотация PDF (Rus) похожие документы |
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина | ||
"... Petri net is said to be elementary if every place can contain no more than one token ..." | ||
Том 28, № 1 (2021) | Алгоритмы поиска с возвратом для построения гамильтонова разложения 4-регулярного мультиграфа | Аннотация PDF (Rus) похожие документы |
Александр Васильевич Коростиль, Андрей Валерьевич Николаев | ||
"... We consider a Hamiltonian decomposition problem of partitioning a regular graph into edge-disjoint ..." | ||
Том 20, № 4 (2013) | О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин, Ирина Александровна Ломазова | ||
"... In this work, we consider the modeling of workflow systems with Petri nets. A resource workflow net ..." | ||
Том 27, № 2 (2020) | Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами | Аннотация похожие документы |
Владимир Анатольевич Башкин | ||
"... by another one without affecting the observable behavior of the net (regarding marking bisimulation ..." | ||
Том 20, № 2 (2013) | Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... representation is studied. A positive one-counter circuit is defined as a strongly connected one-counter net (one ..." | ||
Том 28, № 2 (2021) | Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений | Аннотация PDF (Rus) похожие документы |
Хулио С Карраскель, Халил Мешерауи | ||
"... in an event log, complies with its specification model, e.g., a Petri net. Nonetheless, the majority ..." | ||
Том 17, № 2 (2010) | Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри | Аннотация PDF (Rus) похожие документы |
М. Г. Доррер | ||
"... format into a monochrome Petri net is suggested. The Petri net ma¬trix representation resulting from ..." | ||
Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
Д. А. Усталов | ||
"... represented as loosely connected directed acyclic graphs. A synchronous algorithm for executing such workflows ..." | ||
Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
"... as the control flow graph, symbolic execution time and degree of coverage for symbolic execution. The control ..." | ||
Том 27, № 1 (2020) | Алгоритм ветвей и границ для задачи коммивояжера не является алгоритмом прямого типа | Аннотация PDF (Rus) похожие документы |
Александр Николаевич Максименко | ||
"... of a direct type algorithm is determined using the graph of solutions of a combinatorial optimization problem ..." | ||
Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
Н. О. Гаранина, Е. А. Сидорова | ||
"... specify networks of parallel compositions of the processes. The method is based on model checking ..." | ||
1 - 75 из 123 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)