Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 2 (2017) Размер памяти для хранения упорядоченного корневого графа Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... В статье рассматривается размер памяти, необходимый и достаточный для хранения графа из класса ..."
 
Том 27, № 1 (2015) Мониторинг динамически меняющегося графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... Исследование ориентированных графов является корневой задачей во многих приложениях. Такое ..."
 
Том 30, № 2 (2018) Проблема отката в ориентированной распределенной системе Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Для распределенной системы, в основе которой лежит ориентированный граф без кратных ребер и петель ..."
 
Том 27, № 2 (2015) Параллельные вычисления на динамически меняющемся графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... , записанных в вершинах ориентированного сильно-связного графа. Вычисление выполняется автоматами, находящимися ..."
 
Том 28, № 1 (2016) Тестирование системы автоматов с буферизацией сообщений Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... описывается ориентированным графом связей, вершины которого соответствуют автоматам компонентов, а дуги ..."
 
Том 29, № 2 (2017) Общий подход к решению задач на графах коллективом автоматов Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Предложен общий подход к решению задач на неориентированном упорядоченном корневом связном графе ..."
 
Том 28, № 6 (2016) Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа Аннотация  PDF (Rus)  похожие документы
Ю. С. Трофимович, И. С. Козлов, Д. Ю. Турдаков
"... сетей по графу образуемому в результате установления двунаправленной связи - “дружбы”. Предложен подход ..."
 
Том 27, № 1 (2015) Обход неизвестного графа коллективом автоматов. Недетерминированный случай Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... Исследование графов автоматами является корневой задачей во многих приложениях. К таким приложениям ..."
 
Том 29, № 6 (2017) Исследование максимального размера плотного подграфа случайного графа Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин, Д. О. Лазарев
"... Для описания случайных сетей используется модель случайного графа Эрдёша-Реньи . При исследовании ..."
 
Том 30, № 1 (2018) Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах Аннотация  похожие документы
И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман
"... ориентированным корневым графом, с ограниченной емкостью дуги (в том смысле, что только ограниченное количество ..."
 
Том 28, № 5 (2016) Ускорение оптимизации программ во время связывания Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова, С. В. Аришин
"... между ними, и оптимизировать эти участки отдельно. Для анализа программы используется граф вызовов ..."
 
Том 29, № 3 (2017) О задаче приближенного нахождения максимальной двудольной клики Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин
"... Задача о нахождении большой "спрятанной" клики в случайном графе и ее аналог для двудольных графов ..."
 
Том 26, № 6 (2014) Параллельные вычисления автоматами на прямом и обратном остовах графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев, Виктор Кулямин
"... значений, находящихся в вершинах графа. Вычисления выполняются автоматами, размещенными в вершинах графа и ..."
 
Том 31, № 4 (2019) Самотрансформация деревьев с ограниченной степенью вершин с целью минимизации или максимизации индекса Винера Аннотация  PDF (Rus)  похожие документы
Игорь Борисович Бурдонов
"... Рассматривается распределённая сеть, граф связи которой является неориентированным деревом ..."
 
Том 28, № 1 (2016) Система автоматов: условия детерминизма и тестирование Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... каналам связи. Система описывается ориентированным графом связей, вершина которого соответствует автомату ..."
 
Том 26, № 2 (2014) Обход неизвестного графа коллективом автоматов Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... Исследование графов автоматами является корневой задачей во многих приложениях. К таким приложениям ..."
 
Том 32, № 2 (2020) HP-граф как основа для разработки редактора визуальных моделей DSM-платформы Аннотация  похожие документы
Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА
"... . Визуальные языки обычно основаны на графовых моделях, однако используемые типы графов имеют определенные ..."
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... Рассматриваются распределённые алгоритмы решения задач на неориентированных графах. В разделе 2 ..."
 
Том 22 (2012) Случайные графы, модели и генераторы безмасштабных графов Аннотация  PDF (Rus)  похожие документы
М. М. Берновски, Н. Н. Кузюрин
"... В статье рассматриваются различные модели случайных графов, описывающие реальные сети, возникающие ..."
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... используются классы языка Си++, реализующие работу с такими объектами, как вершина графа, ребро ..."
 
Том 28, № 1 (2016) Система автоматов: композиция по графу связей Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... сообщениями по симплексным каналам связи. Система описывается ориентированным графом связей, вершина которого ..."
 
Том 28, № 5 (2016) Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах Аннотация  PDF (Rus)  похожие документы
А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян
"... ответственен за генерацию графов зависимостей программы для каждой функции. В качестве основы для генерации ..."
 
Том 26, № 4 (2014) Улучшение качества разбиения графа с помощью многоуровневой оптимизации Аннотация  PDF (Rus)  похожие документы
Р. К. Пастухов, А. В. Коршунов, Д. Ю. Турдаков, С. Д. Кузнецов
"... Разбиение графа необходимо для решения задач, связанных с обработкой графов, данные которых ..."
 
Том 27, № 5 (2015) Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время Аннотация  PDF (Rus)  похожие документы
А. С. Асратян, Н. Н. Кузюрин
"... Известно что если P≠NP то задача аппроксимации суммарной раскраски двудольных графов не может быть ..."
 
Том 28, № 6 (2016) Метод автоматического определения возраста пользователей с помощью социальных связей Аннотация  PDF (Rus)  похожие документы
А. Г. Гомзин, С. Д. Кузнецов
"... распространении меток по графу друзей и подписок пользователей на сообщества. ..."
 
Том 31, № 4 (2019) Вычисление приоритетов срабатывания переходов для живых сетей Петри Аннотация  похожие документы
Кирилл Геннадьевич Серебренников
"... имеет экспоненциальную временную сложность, так как основан на процедурах построения и обхода графа ..."
 
Том 29, № 5 (2017) Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ Аннотация  PDF (Rus)  похожие документы
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова
"... систем. Вычислительный процесс рассматривается как наложение управляющего графа, определяющего ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... извлечения таких семейств моделей, как графы потока и зависимостей, а также автоматные модели. Подробно ..."
 
Том 27, № 3 (2015) Редактор моделей процессов «Carassius» Аннотация  PDF (Rus)  похожие документы
Н. Никитина, А. Мицюк
"... Модели процессов и графы широко используются для моделирования и визуализации процессов в ..."
 
Том 26, № 1 (2014) Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин
 
Том 29, № 6 (2017) Критерий существования бесконфликтного расписания для системы строго периодических задач Аннотация  PDF (Rus)  похожие документы
С. А. Зеленова, С. В. Зеленов
"... , основанный на изучении раскрасок графов периодов задач и на решении систем линейных сравнений. Основным ..."
 
Том 30, № 2 (2018) Синтаксический анализ графов с использованием конъюнктивных грамматик Аннотация  PDF (Rus)  похожие документы
Р. Ш. Азимов, С. В. Григорьев
"... Графы используются в качестве структуры данных для представления больших объемов информации в ..."
 
Том 28, № 6 (2016) Подходы к представлению результатов анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов
"... . Рассмотрена возможность построения полного графа сетевых взаимодействий, а также создания временной диаграммы ..."
 
Том 26, № 5 (2014) Стохастическая модель процесса идентификации сервисов информационной системы Аннотация  PDF (Rus)  похожие документы
Г. Н. Циперман
"... построения связного случайного графа в модели Эрдеша-Реньи. Предсказания модели подтверждаются проверкой на ..."
 
Том 27, № 6 (2015) Методы коррекции профильной информации в процессе компиляции Аннотация  PDF (Rus)  похожие документы
О. А. Четверина
"... компилятора называют profile guided optimization (PGO). После проведения преобразований, изменяющих граф ..."
 
Том 30, № 6 (2018) Статическая верификация ошибок использования памяти в модулях ядра ОС Linux Аннотация  похожие документы
А. А. Васильев
"... таких неполных программах. Наша техника статической верификации основана на теории символических графов ..."
 
Том 30, № 5 (2018) Подход к анализу исполняемого кода на основе восстановления программной архитектуры Аннотация  PDF (Rus)  похожие документы
Д. С. Кононов
"... базируется на кластеризации функций по расстояниям между ними в адресном пространстве и на графе вызовов ..."
 
Том 31, № 4 (2019) Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик Аннотация  PDF (Rus)  похожие документы
Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев
"... основных задач, связанных с графовыми моделями, является поиск специфичных путей в графе. Естественным ..."
 
Том 31, № 5 (2019) DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей Аннотация  PDF (Rus)  похожие документы
Ахмед Хан
"... адаптивного метода с использованием нейронной сети. На начальном этапе создается граф зависимости классов ..."
 
Том 31, № 6 (2019) Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями Аннотация  PDF (Rus)  похожие документы
Антон Александрович Васильев, Вадим Сергеевич Мутилин
"... корректной работы с памятью. Метод основывается на использовании символьных графов для представлении памяти ..."
 
1 - 40 из 47 результатов 1 2 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)