Сортировать по:
| Выпуск | Название | |
| Том 26, № 2 (2014) | Обход неизвестного графа коллективом автоматов | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... Graph learning by automata is a basic task in many applications. Among these applications ..." | ||
| Том 27, № 1 (2015) | Обход неизвестного графа коллективом автоматов. Недетерминированный случай | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... Graph learning with automata is a basic task in many applications. Among such 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) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... of the automata of the system according to the graph of links is defined and its associativity is proved ..." | ||
| Том 28, № 1 (2016) | Система автоматов: условия детерминизма и тестирование | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... composition of the automata is defined. The restrictions on the automata and the graph of links are determined ..." | ||
| Том 29, № 2 (2017) | Общий подход к решению задач на графах коллективом автоматов | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... We propose a general method to solve graph problems by a set of automata (computational agents ..." | ||
| Том 27, № 1 (2015) | Мониторинг динамически меняющегося графа | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... Monitoring of oriented graphs is a key task in many applications. Such monitoring is very specific ..." | ||
| Том 26, № 6 (2014) | Параллельные вычисления автоматами на прямом и обратном остовах графа | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев, Виктор Кулямин | ||
| "... by automata distributed on the graph vertices. The key idea of the algorithm is to use a structural ..." | ||
| Том 27, № 2 (2015) | Параллельные вычисления на динамически меняющемся графе | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... at the vertices of a directed strongly connected graph is considered. Computation is performed by automata ..." | ||
| Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
| С. А. Смолов | ||
| "... and automata models. As for flow graphs or dependency graphs, the methods of program slices extraction ..." | ||
| Том 30, № 4 (2018) | Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем | Аннотация похожие документы |
| Х. С. Карраскель, А. Моралес, М. Е. Виллаполь | ||
| "... components of a system. The combination of Colored Petri Nets (CPNs) and Automata Theory has proved ..." | ||
| Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| Том 30, № 2 (2018) | Проблема отката в ориентированной распределенной системе | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... For a distributed system based on a directed graph without multiple edges and loops ..." | ||
| Том 22 (2012) | Случайные графы, модели и генераторы безмасштабных графов | Аннотация PDF (Rus) похожие документы |
| М. М. Берновски, Н. Н. Кузюрин | ||
| "... In this paper various models of random graphs describing real networks arising in different ..." | ||
| Том 36, № 5 (2024) | Использование клеточного автомата для оценки влияния городской планировки на социоэкономические показатели при распространении эпидемий | Аннотация PDF (Rus) похожие документы |
| Степан Алексеевич ЕЛИСТРАТОВ | ||
| "... . The spread was simulated via a stochastic cellular automata approach, with the main indicators being ..." | ||
| Том 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, № 3 (2019) | «Жизнь» в тензорах: реализация клеточных автоматов на видеокартах | Аннотация похожие документы |
| Наталья Андревна Шаляпина, Максим Леонидович Громов | ||
| "... This paper presents an approach to the description of cellular automata using tensors ..." | ||
| Том 34, № 5 (2022) | Метод восстановления протокольных автоматов по бинарному коду | Аннотация PDF (Rus) похожие документы |
| Иван Владимирович ШАРКОВ | ||
| "... вопроса – восстановления реализованного в программе протокольного автомата, а краеугольным камнем является ..." | ||
| Том 27, № 2 (2015) | Конечные автоматы в теории алгебраических схем программ | Аннотация PDF (Rus) похожие документы |
| Р. И. Подловченко | ||
| "... on the approach to the equivalence checking problem for finite state automata. The aim of this paper is to reveal ..." | ||
| Том 26, № 3 (2014) | Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами | Аннотация PDF (Rus) похожие документы |
| В. В. Подымов, В. А. Захаров | ||
| "... program instructions are studied in Section 4. In Section 5 we introduce a graph of joined computations ..." | ||
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| "... with the existing solutions. It combines random walk on a state graph and directed search of feasible paths ..." | ||
| Том 32, № 6 (2020) | Моделирование технических и математических задач прикладных областей знаний на ЭВМ | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Игорь Борисович ПЕТРОВ | ||
| "... , algorithmization and programming using the A.A. Lyapunov graph-schematic language, address language and programming ..." | ||
| Том 26, № 6 (2014) | Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов | Аннотация PDF (Rus) похожие документы |
| М. С. Форостьянова | ||
| "... основе древовидных автоматов. Эффективность предложенного подхода иллюстрируется на примере протокола TCP ..." | ||
| Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| Том 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 ..." | ||
| Том 37, № 1 (2025) | Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов | Аннотация PDF (Rus) похожие документы |
| Валерий Николаевич ИГНАТЬЕВ | ||
| "... . For most known types of errors, a formalization is proposed that is based on finite automata over trees ..." | ||
| Том 29, № 6 (2017) | Исследование максимального размера плотного подграфа случайного графа | Аннотация PDF (Rus) похожие документы |
| Н. Н. Кузюрин, Д. О. Лазарев | ||
| "... Random networks are often described using Erdos-Renyi model of random graph . The concept of graph ..." | ||
| Том 30, № 1 (2018) | Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах | Аннотация похожие документы |
| И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман | ||
| "... The paper provides a review of distributed graph algorithms research conducted by authors. We ..." | ||
| Том 26, № 6 (2014) | Решение автоматных уравнений для временных автоматов относительно параллельной композиции | Аннотация PDF (Rus) похожие документы |
| О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли | ||
| "... уравнения для классических конечных автоматов, обобщаются на случай автоматов с таймаутами. Задача синтеза ..." | ||
| Том 34, № 2 (2022) | Модификация метода расчета полигенных рисков с использованием графа вариации | Аннотация PDF (Rus) похожие документы |
| Олеся Анатольевна КОНДРАТЬЕВА, Евгений Андреевич КАРПУЛЕВИЧ | ||
| "... Representation of the DNA sequence is possible in various ways. The variation graph is one ..." | ||
| Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| Том 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 ..." | ||
| 1 - 39 из 182 результатов | 1 2 3 4 5 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
