Сортировать по:
| Выпуск | Название | |
| Том 31, № 4 (2019) | Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик | Аннотация PDF (Rus) похожие документы |
| Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев | ||
| "... and Boolean grammars is known to be undecidable, in this work we propose a path querying algorithm on acyclic ..." | ||
| Том 30, № 2 (2018) | Синтаксический анализ графов с использованием конъюнктивных грамматик | Аннотация PDF (Rus) похожие документы |
| Р. Ш. Азимов, С. В. Григорьев | ||
| "... grammars in the path querying allows us to formulate more complex queries to the graph and solve a wider ..." | ||
| Том 30, № 2 (2018) | Проблема отката в ориентированной распределенной системе | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... the final vertex of the arc to its initial vertex in the minimum time, i.e. on the shortest path ..." | ||
| Том 22 (2012) | Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, Д. В. Сидоров | ||
| "... and use algorithms for solving the CNF SAT problem for input data generation and path alteration. SAT ..." | ||
| Том 32, № 4 (2020) | Совершенные множества путей в полном графе коммутаторов SDN-сети | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Евгений Максимович ВИНАРСКИЙ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| "... of ordered host pairs (sender, receiver), and it is implemented by a set of host-host paths that uniquely ..." | ||
| Том 29, № 5 (2017) | Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) | Аннотация PDF (Rus) похожие документы |
| А. Ю. Матросова, С. А. Останин, Е. А. Николаева | ||
| "... on using incompletely specified Boolean functions of internal nodes of the circuit. The functions ..." | ||
| Том 29, № 2 (2017) | Общий подход к решению задач на графах коллективом автоматов | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... procedures and message classification according to paths passed by them and methods of message processing ..." | ||
| Том 30, № 1 (2018) | Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах | Аннотация похожие документы |
| И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман | ||
| "... of simple path in the graph, D+ is the maximum outdegree of the vertices. The spanning trees constructed can ..." | ||
| Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков, А. В. Хорошилов | ||
| "... Querying source code helps developers to discover code fragments of interest and to determine ..." | ||
| Том 26, № 6 (2014) | Построение прямого и обратного остовов автоматами на графе | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... is the number of vertices, and D is the graph diameter, the maximum length of simple path (non-self intersecting ..." | ||
| Том 34, № 2 (2022) | Модификация метода расчета полигенных рисков с использованием графа вариации | Аннотация PDF (Rus) похожие документы |
| Олеся Анатольевна КОНДРАТЬЕВА, Евгений Андреевич КАРПУЛЕВИЧ | ||
| "... system was built. As a result, a correlation coefficient was obtained between the path in the column ..." | ||
| Том 30, № 6 (2018) | Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга | Аннотация похожие документы |
| А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков | ||
| "... static path detection in the control flow graph of a program. Detected paths are used in dynamic symbolic ..." | ||
| Том 31, № 4 (2019) | Проектирование интерфейсов классов графовой модели нейронной сети | Аннотация PDF (Rus) похожие документы |
| Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин | ||
| "... is based on graph theory, and operations that are used in theoretical works devoted to graphs, trees, paths ..." | ||
| Том 36, № 1 (2024) | Исследование вопросов учёта нагрузок в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| "... parameter, an edge is augmented with its “capacity,” and the number of paths passing through the edge must ..." | ||
| Том 30, № 6 (2018) | Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев | ||
| "... the relationship between switch configurations and paths which are created for trasmitting packets depending ..." | ||
| Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| "... . This algorithm is designed to be path-sensitive as it is based on symbolic execution with state merging. For now ..." | ||
| Том 22 (2012) | Случайные графы, модели и генераторы безмасштабных графов | Аннотация PDF (Rus) похожие документы |
| М. М. Берновски, Н. Н. Кузюрин | ||
| "... В статье рассматриваются различные модели случайных графов, описывающие реальные сети, возникающие ..." | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| "... construction, data flow analysis, context- and path-sensitive interprocedural analysis. We propose ..." | ||
| Том 29, № 2 (2017) | Размер памяти для хранения упорядоченного корневого графа | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... В статье рассматривается размер памяти, необходимый и достаточный для хранения графа из класса ..." | ||
| Том 27, № 1 (2015) | Мониторинг динамически меняющегося графа | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... Исследование ориентированных графов является корневой задачей во многих приложениях. Такое ..." | ||
| Том 36, № 4 (2024) | Экспериментальное сравнение методов синтеза логических схем | Аннотация похожие документы |
| Максим Дмитриевич ВЕРШКОВ, Алексей Александрович ЯГЖОВ, Никита Сергеевич РОМАНОВ, Анна Алексеевна ФЕДОТОВА, Егор Павлович ЗНАТНОВ | ||
| "... of combinational logic circuits that implement specified Boolean functions. The following methods were considered ..." | ||
| Том 26, № 2 (2014) | Обход неизвестного графа коллективом автоматов | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... Исследование графов автоматами является корневой задачей во многих приложениях. К таким приложениям ..." | ||
| Том 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, № 2 (2015) | Параллельные вычисления на динамически меняющемся графе | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... , записанных в вершинах ориентированного сильно-связного графа. Вычисление выполняется автоматами, находящимися ..." | ||
| Том 28, № 2 (2016) | Верификация преобразования грамматики в нормальную форму Хомского в F | Аннотация похожие документы |
| М. И. Полубелова, С. Н. Божко, С. В. Григорьев | ||
| "... других алгоритмов для работы с грамматиками. В данной статье рассматривается верификация реализации ..." | ||
| Том 28, № 1 (2016) | Система автоматов: композиция по графу связей | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... сообщениями по симплексным каналам связи. Система описывается ориентированным графом связей, вершина которого ..." | ||
| Том 27, № 1 (2015) | Обход неизвестного графа коллективом автоматов. Недетерминированный случай | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... Исследование графов автоматами является корневой задачей во многих приложениях. К таким приложениям ..." | ||
| Том 29, № 5 (2017) | Распределённые алгоритмы на корневых неориентированных графах | Аннотация PDF (Rus) похожие документы |
| И. Бурдонов, А. Косачев, А. Сортов | ||
| "... Рассматриваются распределённые алгоритмы решения задач на неориентированных графах. В разделе 2 ..." | ||
| Том 29, № 6 (2017) | Исследование максимального размера плотного подграфа случайного графа | Аннотация PDF (Rus) похожие документы |
| Н. Н. Кузюрин, Д. О. Лазарев | ||
| "... Для описания случайных сетей используется модель случайного графа Эрдёша-Реньи . При исследовании ..." | ||
| Том 33, № 1 (2021) | Безопасная реализация виртуальной сети на плоскости данных SDN | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| "... paths that uniquely determine the switch settings. The opportunities to transmit a packet are limited ..." | ||
| Том 28, № 1 (2016) | Тестирование системы автоматов с буферизацией сообщений | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... описывается ориентированным графом связей, вершины которого соответствуют автоматам компонентов, а дуги ..." | ||
| Том 28, № 6 (2016) | Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа | Аннотация PDF (Rus) похожие документы |
| Ю. С. Трофимович, И. С. Козлов, Д. Ю. Турдаков | ||
| "... сетей по графу образуемому в результате установления двунаправленной связи - “дружбы”. Предложен подход ..." | ||
| Том 32, № 2 (2020) | Модификация алгоритма Валианта для задачи поиска подстрок | Аннотация PDF (Rus) похожие документы |
| Юлия Алексеевна СУСАНИНА, Анна Никитична ЯВЕЙН, Семен Вячеславович ГРИГОРЬЕВ | ||
| "... помощью грамматики. Задача поиска этих подпоследовательностей сводится к проверке их принадлежности ..." | ||
| Том 36, № 2 (2024) | Исследование структурно незавершённых высказываний в речи советской и российской молодёжи | Аннотация PDF (Rus) похожие документы |
| Александр Александрович ЧУЕВ | ||
| Том 37, № 3 (2025) | Контроль комбинационных схем по двум диагностическим признакам на основе логической коррекции сигналов с использованием свойств кодов Хэмминга | Аннотация PDF (Rus) похожие документы |
| Дмитрий Викторович ЕФАНОВ | ||
| "... is described. The method is based on the concurrent error-detection circuit synthesis by signals Boolean ..." | ||
| Том 28, № 4 (2016) | Обзор современных методов планирования движения | Аннотация PDF (Rus) похожие документы |
| К. А. Казаков, В. А. Семенов | ||
| Том 36, № 4 (2024) | Реализация траекторного профилирования в компиляторе LCC для процессоров Эльбрус | Аннотация PDF (Rus) похожие документы |
| Виктор Евгеньевич ШАМПАРОВ, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ | ||
| "... This paper presents a new version of instrumentation-based path profiling, implemented for the LCC ..." | ||
| Том 28, № 5 (2016) | Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов | ||
| "... -life program is a well-known problem caused by path explosion and necessity of path constraint solving ..." | ||
| Том 31, № 3 (2019) | Толерантный синтаксический анализ с использованием модифицированных алгоритмов LL(1) и LR(1) со встроенной обработкой символа «Any» | Аннотация похожие документы |
| Алексей Валерьевич Головешкин | ||
| "... толерантной грамматике языка, описание остальных частей программы может быть менее детальным, в результате ..." | ||
| 1 - 39 из 170 результатов | 1 2 3 4 5 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
