Сортировать по:
Выпуск | Название | |
Том 26, № 4 (2014) | Улучшение качества разбиения графа с помощью многоуровневой оптимизации | Аннотация PDF (Rus) похожие документы |
Р. К. Пастухов, А. В. Коршунов, Д. Ю. Турдаков, С. Д. Кузнецов | ||
"... Разбиение графа необходимо для решения задач, связанных с обработкой графов, данные которых ..." | ||
Том 27, № 5 (2015) | Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время | Аннотация PDF (Rus) похожие документы |
А. С. Асратян, Н. Н. Кузюрин | ||
"... Известно что если P≠NP то задача аппроксимации суммарной раскраски двудольных графов не может быть ..." | ||
Том 31, № 4 (2019) | Вычисление приоритетов срабатывания переходов для живых сетей Петри | Аннотация похожие документы |
Кирилл Геннадьевич Серебренников | ||
"... имеет экспоненциальную временную сложность, так как основан на процедурах построения и обхода графа ..." | ||
Том 28, № 6 (2016) | Метод автоматического определения возраста пользователей с помощью социальных связей | Аннотация PDF (Rus) похожие документы |
А. Г. Гомзин, С. Д. Кузнецов | ||
"... распространении меток по графу друзей и подписок пользователей на сообщества. ..." | ||
Том 32, № 6 (2020) | Моделирование технических и математических задач прикладных областей знаний на ЭВМ | Аннотация PDF (Rus) похожие документы |
Екатерина Михайловна ЛАВРИЩЕВА, Игорь Борисович ПЕТРОВ | ||
"... прикладной математики, их моделирование, алгоритмизация и программирование с помощью граф-схемного языка А ..." | ||
Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
С. А. Смолов | ||
"... извлечения таких семейств моделей, как графы потока и зависимостей, а также автоматные модели. Подробно ..." | ||
Том 27, № 3 (2015) | Редактор моделей процессов «Carassius» | Аннотация PDF (Rus) похожие документы |
Н. Никитина, А. Мицюк | ||
"... Модели процессов и графы широко используются для моделирования и визуализации процессов в ..." | ||
Том 26, № 1 (2014) | Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt | Аннотация PDF (Rus) похожие документы |
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин | ||
Том 32, № 4 (2020) | Совершенные множества путей в полном графе коммутаторов SDN-сети | Аннотация PDF (Rus) похожие документы |
Игорь Борисович БУРДОНОВ, Евгений Максимович ВИНАРСКИЙ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
"... , моделируемой графом физических связей между узлами сети. Виртуальная сеть задается как множество упорядоченных ..." | ||
Том 26, № 5 (2014) | Стохастическая модель процесса идентификации сервисов информационной системы | Аннотация PDF (Rus) похожие документы |
Г. Н. Циперман | ||
"... требований к информационной системе в сервис-ориентированной архитектуре. Для этого предлагается ..." | ||
Том 27, № 6 (2015) | Методы коррекции профильной информации в процессе компиляции | Аннотация PDF (Rus) похожие документы |
О. А. Четверина | ||
"... компилятора называют profile guided optimization (PGO). После проведения преобразований, изменяющих граф ..." | ||
Том 30, № 6 (2018) | Статическая верификация ошибок использования памяти в модулях ядра ОС Linux | Аннотация похожие документы |
А. А. Васильев | ||
"... таких неполных программах. Наша техника статической верификации основана на теории символических графов ..." | ||
Том 31, № 4 (2019) | Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик | Аннотация PDF (Rus) похожие документы |
Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев | ||
"... основных задач, связанных с графовыми моделями, является поиск специфичных путей в графе. Естественным ..." | ||
Том 31, № 5 (2019) | DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей | Аннотация PDF (Rus) похожие документы |
Ахмед Хан | ||
"... адаптивного метода с использованием нейронной сети. На начальном этапе создается граф зависимости классов ..." | ||
Том 31, № 6 (2019) | Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями | Аннотация PDF (Rus) похожие документы |
Антон Александрович Васильев, Вадим Сергеевич Мутилин | ||
"... корректной работы с памятью. Метод основывается на использовании символьных графов для представлении памяти ..." | ||
Том 29, № 6 (2017) | Критерий существования бесконфликтного расписания для системы строго периодических задач | Аннотация PDF (Rus) похожие документы |
С. А. Зеленова, С. В. Зеленов | ||
"... , основанный на изучении раскрасок графов периодов задач и на решении систем линейных сравнений. Основным ..." | ||
Том 30, № 2 (2018) | Синтаксический анализ графов с использованием конъюнктивных грамматик | Аннотация PDF (Rus) похожие документы |
Р. Ш. Азимов, С. В. Григорьев | ||
"... Графы используются в качестве структуры данных для представления больших объемов информации в ..." | ||
Том 28, № 6 (2016) | Подходы к представлению результатов анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов | ||
"... , необходимость в которых возникает прежде всего в задачах обеспечения сетевой информационной безопасности ..." | ||
Том 32, № 6 (2020) | Автоматический анализ дискретных динамических систем на метрических графах с помощью сетей Петри с временными дугами и инструмента TAPAAL | Аннотация похожие документы |
Леонид Владимирович ДВОРЯНСКИЙ, Александр Александрович ИЗМАЙЛОВ | ||
"... позволяет присваивать таймеры фишкам. Система динамических точек на метрическом графе (DP-система) это ..." | ||
Том 30, № 5 (2018) | Подход к анализу исполняемого кода на основе восстановления программной архитектуры | Аннотация PDF (Rus) похожие документы |
Д. С. Кононов | ||
"... базируется на кластеризации функций по расстояниям между ними в адресном пространстве и на графе вызовов ..." | ||
Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
Том 29, № 5 (2017) | Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) | Аннотация PDF (Rus) похожие документы |
А. Ю. Матросова, С. А. Останин, Е. А. Николаева | ||
"... Reduced Ordered Binary Decision Diagrams (ROBDD-графами), строящимися для фрагментов схемы. Операции ..." | ||
Том 31, № 2 (2019) | Выявление характерных особенностей программ для борьбы с компьютерным пиратством на основе интеллектуального анализа графов | Аннотация PDF (Rus) похожие документы |
Сохаил Сарвар, Зия Уль Кайум, Мухаммад Сафьян, Муддессар Икбал, Ясир Махмуд | ||
"... на сочетании методов интеллектуального анализа текстов и графов. Элементы кода программы и их связи с ..." | ||
Том 28, № 6 (2016) | Применение словарей и векторов слов для автоматического построения лексической онтологии | Аннотация похожие документы |
Д. А. Усталов | ||
"... построение и кластеризация графа синонимов с целью вывода отдельных значений слов и их объединения в ..." | ||
Том 26, № 1 (2014) | Анализ социальных сетей: методы и приложения | Аннотация PDF (Rus) похожие документы |
Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов | ||
"... , идентификация пользователей различных сетей, поиск сообществ пользователей и измерение информационного влияния ..." | ||
Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
И. . Мельниченко, А. . Камкин, С. . Смолов | ||
"... цифровых устройств. В отличие от обычных конечных автоматов, в EFSM-моделях управляющие сигналы и данные ..." | ||
Том 31, № 3 (2019) | Поиск конфликтов доступа к данным в HDL-описаниях | Аннотация похожие документы |
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов | ||
"... обработка; 2) построение графа потока управления; 3) трансформация графа потока управления в решающую ..." | ||
Том 18 (2010) | Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов | Аннотация PDF (Rus) похожие документы |
Д. Н. Воробьев, А. С. Камкин | ||
"... управляющей логики микропроцессоров. Методика основана на формальной спецификации системы команд и описании ..." | ||
Том 20 (2011) | Использование аппаратной виртуализации в контексте информационной безопасности | Аннотация PDF (Rus) похожие документы |
Д. В. Силаков | ||
"... информационной безопасности. Предлагается обзор подходов к повышению безопасности программных систем, основанных ..." | ||
Том 26, № 2 (2014) | Применение информационных технологий (генетические алгоритмы, нейронные сети, параллельные вычисления) в анализе безопасности АЭС | Аннотация PDF (Rus) похожие документы |
Ю. Б. Воробьев, П. Кудинов, М. Ельцов, К. Кёоп, К. Н. Чыонг Ван | ||
"... В статье рассматриваются три направления использования информационных технологий в анализе ..." | ||
31 - 60 из 92 результатов | << < 1 2 3 4 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)