Сортировать по:
| Выпуск | Название | |
| Том 30, № 6 (2018) | Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев | ||
| "... connectivity topology (RNCT); graph nodes are network switches and hosts and each host is connected exactly ..." | ||
| Том 36, № 1 (2024) | Исследование вопросов учёта нагрузок в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| "... parameter, an edge is augmented with its “capacity,” and the number of paths passing through the edge must ..." | ||
| Том 33, № 1 (2021) | Безопасная реализация виртуальной сети на плоскости данных SDN | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| "... and without duplicate paths when a host can get the same packet several times. Using the notion of a perfect ..." | ||
| Том 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 ..." | ||
| Том 32, № 5 (2020) | Практика и перспективы применения семейства эмуляторов архитектур мейнфреймов IBM | Аннотация PDF (Rus) похожие документы |
| Александр Викторович ШМИД | ||
| Том 34, № 3 (2022) | Реализация распределённых и параллельных вычислений в сети SDN | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| "... are implemented in hosts. Several different objects can be implemented in one host and the same object can ..." | ||
| Том 31, № 4 (2019) | Проектирование интерфейсов классов графовой модели нейронной сети | Аннотация PDF (Rus) похожие документы |
| Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин | ||
| "... is based on graph theory, and operations that are used in theoretical works devoted to graphs, trees, paths ..." | ||
| Том 30, № 2 (2018) | Синтаксический анализ графов с использованием конъюнктивных грамматик | Аннотация PDF (Rus) похожие документы |
| Р. Ш. Азимов, С. В. Григорьев | ||
| "... there is a path in the graph from the vertex m to the vertex n, such that the labels on the edges of this path ..." | ||
| Том 31, № 4 (2019) | Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик | Аннотация PDF (Rus) похожие документы |
| Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев | ||
| "... the allowed edge-labeling of the paths. Path query is said to be calculated using relational query semantics ..." | ||
| Том 29, № 2 (2017) | Общий подход к решению задач на графах коллективом автоматов | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... along graph edges. The automata are semi-robots, i.e., their internal memory size is sufficient to store ..." | ||
| Том 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 ..." | ||
| Том 30, № 2 (2018) | Проблема отката в ориентированной распределенной системе | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... For a distributed system based on a directed graph without multiple edges and loops ..." | ||
| Том 30, № 2 (2018) | Анализ баллистокардиограммы на граничных вычислительных узлах | Аннотация PDF (Rus) похожие документы |
| А. С. Нужный, А. А. Прозоров, В. И. Бугаев, Н. Д. Шувалов, В. В. Подымов | ||
| "... efficient compared to machine learning-based methods, and can be implemented on an edge computing node ..." | ||
| Том 28, № 3 (2016) | Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики | Аннотация PDF (Rus) похожие документы |
| Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов | ||
| "... is to be integrated, and host-side libraries used to communicate with FPGA via PCI Express. Developed flow does ..." | ||
| Том 31, № 4 (2019) | Самотрансформация деревьев с ограниченной степенью вершин с целью минимизации или максимизации индекса Винера | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович Бурдонов | ||
| "... - the addition of an edge connecting the different ends of two adjacent edges, and the simultaneous removal ..." | ||
| Том 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 ..." | ||
| Том 34, № 3 (2022) | Исследование свойств алгоритма слайсинга предиката пути | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович ВИШНЯКОВ | ||
| "... that detect memory errors and undefined behavior. This article explores the properties of the path predicate ..." | ||
| Том 30, № 6 (2018) | Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга | Аннотация похожие документы |
| А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков | ||
| "... static path detection in the control flow graph of a program. Detected paths are used in dynamic symbolic ..." | ||
| Том 30, № 1 (2018) | Численное исследование влияния формы торцов колеблющихся пластин на гидродинамическое сопротивление в диапазоне больших амплитуд колебания | Аннотация PDF (Rus) похожие документы |
| А. Н. Нуриев, А. М. Камалутдинов, О. Н. Зайцева | ||
| "... with different shapes of edges is carried out in the Reynolds number range 10 | ||
| Том 29, № 4 (2017) | Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ | Аннотация похожие документы |
| Д. Р. Башкирова, Ш. Йошидзава, Р. Х. Латыпов, Х. Йокота | ||
| "... joint image filtering approach based on the proposed method, and demonstrate its capability on edge ..." | ||
| Том 27, № 5 (2015) | Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов | ||
| "... as the main example. The approach is based on a scalable path-sensitive analysis, which involves symbolic ..." | ||
| Том 31, № 2 (2019) | Интеграция беспроводной связи для оптимизации распознавания окружения и расчёта траектории движения группы роботов | Аннотация PDF (Rus) похожие документы |
| Михаил Валерьевич Иванов, Олег Юрьевич Сергиенко, Вера Валентиновна Тырса, Ларс Линднер, Хулио Сезар Родригес-Киньонес, Венди Флорес-Фуэнтес, Мойзес Ривас-Лопес, Даниэль Эрнандес-Бальбуэна, Хуан Иван Ньето Иполито | ||
| "... vision, path planning, data storing and data exchange. Article describes the structure of real-time laser ..." | ||
| Том 28, № 5 (2016) | Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина | ||
| "... . This algorithm is path-sensitive and supports tracking several kinds of value relations such as arithmetic ..." | ||
| Том 29, № 5 (2017) | Объектно-ориентированная среда для разработки приложений планирования движения | Аннотация PDF (Rus) похожие документы |
| К. А. Казаков, В. А. Семенов | ||
| Том 37, № 3 (2025) | Поиск утечек памяти и ресурсов в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Никита Евгеньевич МАЛЫШЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ, Виталий Адольфович СЕМЕНОВ | ||
| Том 35, № 3 (2023) | К вопросу использования в образовательном процессе разработанного программного обеспечения для исследования акустических трактов магнитострикционных преобразователей перемещений | Аннотация PDF (Rus) похожие документы |
| Артем Алексеевич ИВЗАНОВ, Александр Анатольевич ВОРОНЦОВ, Юрий Николаевич СЛЕСАРЕВ | ||
| "... and reading of information signals in the acoustic paths of magnetostrictive linear and angular displacement ..." | ||
| Том 34, № 1 (2022) | Обобщенная контекстно-зависимая теоретико-графовая модель фольклорных и литературных текстов | Аннотация PDF (Rus) похожие документы |
| Николай Дмитриевич МОСКИН, Александр Александрович РОГОВ, Роман Владимирович ВОРОНОВ | ||
| "... . Sets of words are combined into vertices, and the same word can be related to different vertices. Edges ..." | ||
| Том 33, № 2 (2021) | Оценка пользовательских историй на основе декомпозиции сложности с использованием байесовских сетей | Аннотация PDF (Rus) похожие документы |
| Майра ДУРАН, Рейес ХУАРЕС-РАМИРЕС, Саманта ХИМЕНЕС, Клаудия ТОНА | ||
| "... a Bayesian network to represent those factors and their relations. The edges of the network are weighted ..." | ||
| Том 30, № 1 (2018) | Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах | Аннотация похожие документы |
| И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман | ||
| "... with bounded edge capacity (in a sense that only a bounded number of messages can be sent through an edge ..." | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| "... construction, data flow analysis, context- and path-sensitive interprocedural analysis. We propose ..." | ||
| Том 28, № 5 (2016) | Задача глобального распределения регистров во время динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
| К. А. Батузов | ||
| "... of original CFG are vertices and edges connect arcs which start or end in the same basic block. This gives ..." | ||
| Том 31, № 5 (2019) | DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей | Аннотация PDF (Rus) похожие документы |
| Ахмед Хан | ||
| "... , the vertices in which correspond to clusters, and the edges correspond to communication channels that may exist ..." | ||
| Том 27, № 6 (2015) | Статический анализатор Svace как коллекция анализаторов разных уровней сложности | Аннотация PDF (Rus) похожие документы |
| А. Е. Бородин, А. А. Белеванцев | ||
| Том 22 (2012) | Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян | ||
| "... stages. On the first stage (host machine) the build process is transparently captured and the LLVM ..." | ||
| Том 30, № 3 (2018) | Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи | Аннотация похожие документы |
| Д. А. Лебедев, И. А. Стотланд | ||
| "... used to verify the communication subsystem - Host-Bridge - of Sparc V9 eight-core microprocessor ..." | ||
| Том 29, № 2 (2017) | Размер памяти для хранения упорядоченного корневого графа | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... if for each of its vertices all the incident edges are ordered (numbered). A graph is numbered if all its ..." | ||
| Том 35, № 3 (2023) | Уточнение предикатной абстракции при раздельном анализе потоков | Аннотация похожие документы |
| Вероника Павловна РУДЕНЧИК, Павел Сергеевич АНДРИАНОВ | ||
| "... abstraction refinement in a multithreaded case. A default predicate refiner considers only a path related ..." | ||
| Том 30, № 3 (2018) | Варианты задач китайского почтальона и их решения через преобразование в задачи маршрутизации | Аннотация похожие документы |
| М. К. Горденко, С. М. Авдошин | ||
| "... for obtaining new problems. Five parameters have been identified, such as: presence of set of edges; presence ..." | ||
| 1 - 39 из 109 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
