Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 6 (2014) Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей Аннотация  PDF (Rus)  похожие документы
Стефан Мааг
"... при тестировании протоколов маршрутизации в беспроводных самоорганизующихся сетях (ad-hoc) требует ..."
 
Том 30, № 3 (2018) Варианты задач китайского почтальона и их решения через преобразование в задачи маршрутизации Аннотация  похожие документы
М. К. Горденко, С. М. Авдошин
"... В статье описаны проблемы маршрутизации. Показано, что почти все проблемы маршрутизации дуг могут ..."
 
Том 30, № 3 (2018) Анализ математических постановок задачи маршрутизации с ограничением по грузоподъемности и методов их решения Аннотация  похожие документы
Е. Н. Береснева, С. М. Авдошин
"... Задача маршрутизации является одной из важнейших NP-трудных задач комбинаторной оптимизации. Она ..."
 
Том 30, № 4 (2018) Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa Аннотация  похожие документы
И. А. Писарев, Л. К. Бабенко
"... безопасность. В работе рассматривается анализ безопасности криптографического протокола на этапе регистрации ..."
 
Том 29, № 4 (2017) Смешанная задача китайского почтальона Аннотация  похожие документы
М. К. Горденко, С. М. Авдошин
"... Задачи маршрутизации важны для областей логистики и управления трансортом. Задачи маршрутизации в ..."
 
Том 26, № 6 (2014) Исследование отказоустойчивой маршрутизации в беспроводных сенсорных сетях Аннотация  PDF (Rus)  похожие документы
В. Х. Ла, А. Кавалли
"... протоколов их взаимодействия. Так как сенсорные узлы работают, как правило, в неконтролируемой или даже ..."
 
Том 31, № 3 (2019) Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности Аннотация  похожие документы
Сергей Михайлович Авдошин, Екатерина Николаевна Береснева
"... Задача маршрутизации – одна из широко известных задач комбинаторной оптимизации. Она состоит в ..."
 
Том 22 (2012) Восстановление структуры бинарных данных по трассам программ Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, А. И. Гетьман
 
Том 31, № 3 (2019) C# парсер для извлечения структуры криптографических протоколов из исходного кода Аннотация  похожие документы
Илья Александрович Писарев, Людмила Климентьевна Бабенко
"... Криптографические протоколы являются ядром любой защищенной системы. С их помощью передаются ..."
 
Том 26, № 1 (2014) Автоматизация тестирования соответствия для телекоммуникационных протоколов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин
"... реализаций спецификациям протоколов Интернета. Во всех проектах, представленных в статье, использовалась ..."
 
Том 30, № 3 (2018) Нотация криптографической стековой машины версии один Аннотация  похожие документы
С. Е. Прокопьев
"... Хорошая спецификация криптографического протокола должна легко восприниматься человеком (быть ..."
 
Том 31, № 4 (2019) Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности Аннотация  похожие документы
Сергей Михайлович Авдошин, Екатерина Николаевна Береснева
"... Задача маршрутизации – одна из широко известных задач комбинаторной оптимизации. Она состоит в ..."
 
Том 28, № 4 (2016) Проверка параметризованных Promela-моделей протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков, А. С. Камкин
"... В статье представлен метод масштабируемой верификации Promela-моделей протоколов обеспечения ..."
 
Том 29, № 4 (2017) Методика параметризованной верификации протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков
"... В статье представлена методика масштабируемой функциональной верификации протоколов когерентности ..."
 
Том 28, № 6 (2016) Подходы к представлению результатов анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов
"... диаграмма также применяется при анализе туннельных протоколов, поскольку позволяет аналитику определить ..."
 
Том 30, № 4 (2018) Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем Аннотация  похожие документы
Х. С. Карраскель, А. Моралес, М. Е. Виллаполь
"... протоколов; однако он может использоваться для верификации других систем, анализ которых включает сравнение ..."
 
Том 18 (2010) Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... спецификациям нового протокола безопасности IPsec v2 [1-7]. Для построения тестового набора использовалась ..."
 
Том 31, № 3 (2019) Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы Аннотация  похожие документы
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков
"... Современные микропроцессорные системы обычно включают сложную иерархию кэш-памяти. Протоколы ..."
 
Том 33, № 1 (2021) Последние тенденции в развитии подводной беспроводной сенсорной сети: систематический обзор литературы Аннотация  PDF (Rus)  похожие документы
Аиша ТАРИК, Фарук АЗАМ, Мухаммад Васим АНВАР, Тайиба ЗАХУР, Абдул Вахаб МУЗАФФАР
"... актуальный протокол маршрутизации и 11 инструментов. Кроме того, в контексте UWSN представлены пять различных ..."
 
Том 28, № 3 (2016) Генерация динамических ключей и подписей с зависимостью от времени Аннотация  похожие документы
А. С. Кирьянцев, И. А. Стефанова
"... статье рассмотрены примеры работы протокола Диффи-Хеллмана и алгоритма хеширования MD5, используемые для ..."
 
Том 27, № 1 (2015) Сервисные средства интернет для решения бизнес-задач Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин
 
Том 27, № 3 (2015) Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей Аннотация  PDF (Rus)  похожие документы
Александр Камкин, Михаил Петроченков
 
1 - 22 из 22 результатов

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

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