Сортировать по:
| Выпуск | Название | |
| Том 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 ..." | ||
| Том 30, № 6 (2018) | Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев | ||
| "... SDN-technology is efficiently used for implementing service function chains can be efficiently ..." | ||
| Том 34, № 3 (2022) | Реализация распределённых и параллельных вычислений в сети SDN | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| "... The paper discusses the execution of a program of tasks on the SDN data plane, modeled by a finite ..." | ||
| Том 36, № 1 (2024) | Исследование вопросов учёта нагрузок в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| "... of the “cost” type are proposed. In the latter case, one algorithm builds one path from each host to one host ..." | ||
| Том 32, № 5 (2020) | Практика и перспективы применения семейства эмуляторов архитектур мейнфреймов IBM | Аннотация PDF (Rus) похожие документы |
| Александр Викторович ШМИД | ||
| Том 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) похожие документы |
| Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев | ||
| "... is querying for specific paths. Such queries are usually performed by means of a formal grammar that describes ..." | ||
| Том 28, № 3 (2016) | Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики | Аннотация PDF (Rus) похожие документы |
| Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов | ||
| "... is to be integrated, and host-side libraries used to communicate with FPGA via PCI Express. Developed flow does ..." | ||
| Том 26, № 4 (2014) | Сравнение методик кластеризации частично упорядоченных множеств | Аннотация PDF (Rus) похожие документы |
| А. А. Раскин | ||
| "... В статье предлагается сравнение трех подходов к кластеризации частично упорядоченных множеств ..." | ||
| Том 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 ..." | ||
| Том 23 (2012) | Обзор развития методов лексической оптимизации запросов | Аннотация PDF (Rus) похожие документы |
| Н. А. Мендкович, С. Д. Кузнецов | ||
| Том 33, № 1 (2021) | Качество обслуживания в программно-определяемых сетях для научных приложений: возможности и проблемы | Аннотация PDF (Rus) похожие документы |
| Хосе Элено ЛОСАНО-РИCК, Рауль РИВЕРА-РОДРИГЕС, Хуан Иван НЬЕТО-ИПОЛИТО, Сальвадор ВИЛЛАРРЕАЛЬ-РЕЙС, Алехандро ГАЛАВИС-МОСКЕДА, Мабель ВАСКЕС-БРИСЕНО | ||
| "... , it is necessary to provide them with specific QoS parameters. On the other hand, SDN is presented as a new ..." | ||
| Том 29, № 4 (2017) | Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа | Аннотация похожие документы |
| А. Р. Гималетдинова, К. Ю. Дегтярев | ||
| "... использовании в модели интервальных нечетких множеств второго типа (англ. IT2FS), которые привлекают ..." | ||
| Том 34, № 4 (2022) | Теоретические основы алгоритма визуализации множества точек многомерного пространства для использования в антропотехнических системах поддержки принятия решений | Аннотация похожие документы |
| Ислам Александрович АЛЕКСАНДРОВ, Владимир Жанович КУКЛИН, Александр Николаевич МУРАНОВ, Аслан Адальбиевич ТАТАРКАНОВ | ||
| Том 30, № 3 (2018) | Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи | Аннотация похожие документы |
| Д. А. Лебедев, И. А. Стотланд | ||
| "... used to verify the communication subsystem - Host-Bridge - of Sparc V9 eight-core microprocessor ..." | ||
| Том 31, № 3 (2019) | Репутационные системы в электронной коммерции: Сравнительный анализ и перспективы моделирования присущей им нечеткости | Аннотация похожие документы |
| Михаил Михайлович Носовский, Константин Юрьевич Дегтярев | ||
| "... , связанные с особенностями поведения нечетких версий алгоритма PeerTrust на основе нечетких множеств типа-1 ..." | ||
| Том 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 ..." | ||
| Том 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) похожие документы |
| К. А. Казаков, В. А. Семенов | ||
| Том 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 ..." | ||
| Том 37, № 3 (2025) | Поиск утечек памяти и ресурсов в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Никита Евгеньевич МАЛЫШЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ, Виталий Адольфович СЕМЕНОВ | ||
| Том 29, № 5 (2017) | Распределённые алгоритмы на корневых неориентированных графах | Аннотация PDF (Rus) похожие документы |
| И. Бурдонов, А. Косачев, А. Сортов | ||
| "... : построение максимального независимого множества (MIS - Maximal Independent Set), поиск множества всех мостов ..." | ||
| Том 28, № 5 (2016) | Формализация определения ошибок при статическом символьном выполнении | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев | ||
| "... a given path in the control flow graph. This paper discusses the various ways to specify such sets ..." | ||
| Том 35, № 3 (2023) | К вопросу использования в образовательном процессе разработанного программного обеспечения для исследования акустических трактов магнитострикционных преобразователей перемещений | Аннотация PDF (Rus) похожие документы |
| Артем Алексеевич ИВЗАНОВ, Александр Анатольевич ВОРОНЦОВ, Юрий Николаевич СЛЕСАРЕВ | ||
| "... and reading of information signals in the acoustic paths of magnetostrictive linear and angular displacement ..." | ||
| Том 32, № 3 (2020) | Трассировка сетевых пакетов в ядре Linux с использованием eBPF | Аннотация похожие документы |
| Марк Германович КОВАЛЕВ | ||
| "... and powerful way to run a userspace code inside the kernel. In this paper, an approach to tracing the path ..." | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| "... construction, data flow analysis, context- and path-sensitive interprocedural analysis. We propose ..." | ||
| Том 32, № 4 (2020) | Методика выявления центров компетенций авиационной науки на основе публикационной и патентной активности | Аннотация PDF (Rus) похожие документы |
| Виктор Геннадьевич БЕЛЕНКОВ, Владимир Игоревич БУДЗКО, Дмитрий Алексеевич ДЕВЯТКИН, Анна Владимировна КАН, Иван Сергеевич МИХАЙЛИН, Илья Владимирович СОЧЕНКОВ, Илья Александрович ТИХОМИРОВ, Василий Сергеевич ШАПКИН | ||
| "... анализ с применением теории нечетких множеств. В статье предложена методика выявления и оценки центров ..." | ||
| Том 30, № 3 (2018) | Применение методов системного анализа к оцениванию работы учебных ассистентов | Аннотация похожие документы |
| Е. Н. Береснева, М. К. Горденко | ||
| Том 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 ..." | ||
| Том 27, № 3 (2015) | Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. С. Проценко, А. Д. Татарников | ||
| "... , situations (instruction execution paths) and dependencies (sets of conflicts between instructions ..." | ||
| Том 32, № 2 (2020) | Платформа автоматического фаззинга программного интерфейса приложений | Аннотация PDF (Rus) похожие документы |
| Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ | ||
| "... to discover new execution paths. It consists of two basic stages. In the first stage the arguments ..." | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| "... transition to fire). The approach is intended for covering of all possible execution paths of the input HDL ..." | ||
| 1 - 39 из 160 результатов | 1 2 3 4 5 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
