Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 6 (2016) Подходы к представлению результатов анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов
"... The article proposes different methods of presenting network traffic analysis results, the need ..."
 
Том 26, № 6 (2014) Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей Аннотация  PDF (Rus)  похожие документы
Стефан Мааг
"... Conformance testing in network engineering is a crucial phase in the development of complex ..."
 
Том 27, № 1 (2015) Сервисные средства интернет для решения бизнес-задач Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин
"... Different types of global information network services, used in the modern distributed software ..."
 
Том 22 (2012) Восстановление структуры бинарных данных по трассам программ Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, А. И. Гетьман
"... of such objects as files, network packets of different levels and different kinds of protocols (stateful ..."
 
Том 26, № 6 (2014) Исследование отказоустойчивой маршрутизации в беспроводных сенсорных сетях Аннотация  PDF (Rus)  похожие документы
В. Х. Ла, А. Кавалли
"... Wireless Sensor Networks (WSNs) emerge recently as one of the most attractive research subjects ..."
 
Том 32, № 3 (2020) Анализ загруженности трафика на главных улицах электронного города c применением индекса перегрузки и искусственной нейронной сети (на примере города Хамедан) Аннотация  PDF (Rus)  похожие документы
Мехди ШИРМОХАММАДИ, Мансур ЭСМАИЛПУР
"... of road networks. This study analyzes the traffic density for the main network of Hamedan communication ..."
 
Том 30, № 2 (2018) Обзор расширяемого протокола аутентификации и его методов Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
"... systems to networks and resources of computing systems. In this context, of considerable interest ..."
 
Том 20 (2011) Тестирование протоколов электронной почты Интернета с использованием моделей Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, А. Н. Тугаенко
"... The paper discusses model-based testing of the modern Internet e-mail protocols, including ..."
 
Том 30, № 6 (2018) Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
"... implementations of a protocol. Using UniTESK technology allows automating the verification of network protocols ..."
 
Том 30, № 4 (2018) Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем Аннотация  похожие документы
Х. С. Карраскель, А. Моралес, М. Е. Виллаполь
"... . In this context, this paper presents Prosega/CPN ( Protocol Sequence Generator and Analyzer ), an extension of CPN ..."
 
Том 28, № 3 (2016) Система деанонимизации пользователей теневого интернета Аннотация  похожие документы
С. М. Авдошин, А. В. Лазаренко
"... . There a lot of anonymous networks and technologies which grants anonymous access to digital resources ..."
 
Том 27, № 4 (2015) Модель представления данных при проведении глубокого анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов
"... The article suggests a new object model of data for in-depth analysis of network traffic ..."
 
Том 30, № 4 (2018) Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa Аннотация  похожие документы
И. А. Писарев, Л. К. Бабенко
"... of the cryptographic protocol at the registration stage, which is used in the electronic voting system based on blind ..."
 
Том 32, № 4 (2020) Протокол сертификации целостности облачных вычислений Аннотация  PDF (Rus)  похожие документы
Евгений Сергеевич ШИШКИН, Евгений Сергеевич КИСЛИЦЫН
"... not necessarily trust. We present a multi-party interactive protocol that solves this problem under specified ..."
 
Том 26, № 1 (2014) Автоматизация тестирования соответствия для телекоммуникационных протоколов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин
"... of implementations of Internet protocols. The projects described in this article used the UniTESK technology ..."
 
Том 21 (2011) Оценка Производительности Протокола Реализации Snapshot Isolation Аннотация  PDF (Rus)  похожие документы
Д. Н. Василик
"... a simple SI implementation protocol for distributed DBMS and implemented it in the Apache HBase. This work ..."
 
Том 28, № 4 (2016) Проверка параметризованных Promela-моделей протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков, А. С. Камкин
"... This paper introduces a method for scalable verification of cache coherence protocols described ..."
 
Том 29, № 4 (2017) Методика параметризованной верификации протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков
"... This paper introduces a technique for scalable functional verification of cache coherence protocols ..."
 
Том 32, № 3 (2020) Подход к трансляции таблицы потоков коммутатора программно-конфигурируемой сети в язык ассемблера сетевого процессора Аннотация  похожие документы
Андрей Александрович МАРКОБОРОДОВ, Юлия Александровна СКОБЦОВА, Дмитрий Юрьевич ВОЛКАНОВ
"... This paper considers the OpenFlow 1.3 switch based on a programmable network processing unit (NPU ..."
 
Том 23 (2012) Разработка тестового набора для верификации реализаций протокола безопасности TLS Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... , there are no accepted public conformance test suite for those protocols. Implementers do have their own test suites ..."
 
Том 27, № 3 (2015) О реализации формального метода верификации масштабируемых систем с когерентной памятью Аннотация  PDF (Rus)  похожие документы
Владимир Буренков
"... This article analyzes existing methods of verification of cache coherence protocols of scalable ..."
 
Том 31, № 3 (2019) C# парсер для извлечения структуры криптографических протоколов из исходного кода Аннотация  похожие документы
Илья Александрович Писарев, Людмила Климентьевна Бабенко
"... Cryptographic protocols are the core of any secure system. With the help of them, data ..."
 
Том 30, № 3 (2018) Нотация криптографической стековой машины версии один Аннотация  похожие документы
С. Е. Прокопьев
"... A worthy cryptographic protocol specification has to be human-readable (declarative and concise ..."
 
Том 29, № 3 (2017) Обзор задач и методов их решения в области классификации сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, Е. Ф. Евстропов, Д. О. Обыденков
"... The paper discusses the problem of network traffic classification: the characteristics ..."
 
Том 18 (2010) Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... The paper presents conformance test suite for new Internet Protocol Security Suite IPsec v2 ..."
 
Том 28, № 1 (2016) Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
"... In this article we consider the problem of maximizing the capacity of the network stack ..."
 
Том 26, № 6 (2014) Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов Аннотация  PDF (Rus)  похожие документы
М. С. Форостьянова
"... In this paper, an approach for testing software implementations of telecommunication protocols ..."
 
Том 31, № 3 (2019) Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы Аннотация  похожие документы
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков
"... . Coherence protocols are used to maintain memory consistency. An implementation of memory subsystem in HDL ..."
 
Том 26, № 1 (2014) Анализ социальных сетей: методы и приложения Аннотация  PDF (Rus)  похожие документы
Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов
"... The paper describes the basic components of ISPRAS technology stack for social network data ..."
 
Том 31, № 2 (2019) Конструирование и оптимизация сетей распространения контента Аннотация  PDF (Rus)  похожие документы
Сантьяго Дамиан Итурриага Фабра, Серджо Энрике Несмачнов Кановас, Херардо Гони Бофриско, Бернабе Дорронсоро Диаз, Андрей Николаевич Черных
"... of designing and optimizing cloud-based Content Distribution Networks (CDN). A multi-objective approach ..."
 
Том 28, № 3 (2016) Генерация динамических ключей и подписей с зависимостью от времени Аннотация  похожие документы
А. С. Кирьянцев, И. А. Стефанова
"... , the article contains examples of Diffie-Hellman protocol work and the hash-function algorithm MD5 ..."
 
Том 32, № 3 (2020) Трассировка сетевых пакетов в ядре Linux с использованием eBPF Аннотация  похожие документы
Марк Германович КОВАЛЕВ
"... During the development and maintenance of complex network infrastructure for a big project ..."
 
Том 27, № 2 (2015) Тестирование реализаций клиента протокола TLS Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... . It discusses the formal model of TLS protocol, the structure of the test suite. JavaTesK tool, based on UniTESK ..."
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... An approach to testing artificial neural networks is described. The model of neural network ..."
 
Том 28, № 2 (2016) Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей Аннотация  похожие документы
Д. Д. Кожевников, Н. В. Красилич
"... and environment for modelling hardware memristor-based neural networks. An extensive review of the domain has been ..."
 
Том 30, № 6 (2018) Методы анализа информационных потоков в сети Интернет Аннотация  PDF (Rus)  похожие документы
А. А. Аветисян, М. Д. Дробышевский, Д. Ю. Турдаков
"... the existence of the underlying network over which information propagates, and predictive models, studying ..."
 
Том 28, № 6 (2016) Автоматический анализ, декомпозиция и параллельная оптимизация больших однородных сетей Аннотация  похожие документы
Д. Ю. Игнатов, А. Н. Филиппов, А. Д. Игнатов, С. . Чжан
"... networks, such as wired and wireless communication systems, networks of roads and pipelines. The support ..."
 
Том 31, № 1 (2019) Методы идентификации человека по походке в видео Аннотация  PDF (Rus)  похожие документы
Анна Ильинична Соколова, Антон Сергеевич Конушин
 
Том 31, № 2 (2019) Теоретический подход к поиску глобального экстремума при обучении нейронных сетей Аннотация  PDF (Rus)  похожие документы
Николай Анатольевич Вершков, Виктор Андреевич Кучуков, Наталья Николаевна Кучукова
"... networks using the correlation index. The proposed method is based on a mathematical model of an artificial ..."
 
Том 31, № 4 (2019) Самотрансформация деревьев с ограниченной степенью вершин с целью минимизации или максимизации индекса Винера Аннотация  PDF (Rus)  похожие документы
Игорь Борисович Бурдонов
"... We consider a distributed network whose communication graph is a non-oriented tree. It is assumed ..."
 
1 - 40 из 158 результатов 1 2 3 4 > >> 

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

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