Поиск


Сортировать по:     
 
Выпуск Название
 
Том 19, № 6 (2012) Дедуктивная верификация протокола скользящего окна Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий
"... We consider the well-known Sliding Window Protocol which provides reliable and efficient ..."
 
Том 19, № 4 (2012) Сравнительный анализ производительности транспортных протоколов Trickles и TCP в условиях высокой нагрузки на коммуникационную сеть Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Никитинский, Дмитрий Юрьевич Чалый
"... We study the performance of the Trickles protocol which is a transport-layer protocol for the TCP ..."
 
Том 23, № 1 (2016) Продолжение решения на границе разрыва как решение задачи усредненной оптимизации Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин
"... right-hand sides along the surface of a gap is called a sliding mode. It is required to find ..."
 
Том 17, № 2 (2010) Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 Аннотация  PDF (Rus)  похожие документы
И. В. Алексеев, С. А. Меркулов, А. А. Сивов
 
Том 19, № 5 (2012) TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные Аннотация  PDF (Rus)  похожие документы
Анатолий Александрович Сивов
"... The article describes TCP TIPS, the transport level protocol, which aim is to effi- ciently use ..."
 
Том 18, № 2 (2011) Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. Аннотация  PDF (Rus)  похожие документы
Анатолий Александрович Сивов
 
Том 22, № 4 (2015) Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов Аннотация  PDF (Rus)  похожие документы
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин
 
Том 25, № 6 (2018) Даже простые процессы π-исчисления трудны для анализа Аннотация  PDF (Rus)  похожие документы
Марат Мазен Аббас, Владимир Анатольевич Захаров
"... -calculus) are widely used for checking the information security properties of cryptographic protocols ..."
 
Том 26, № 2 (2019) На пути к SD-WAN решению Аннотация  похожие документы
Станислав Валентинович Корсаков, Валерий Анатольевич Соколов
 
Том 18, № 4 (2011) Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов Аннотация  PDF (Rus)  похожие документы
Сергей Николаевич Баранов, Всеволод Павлович Котляров
"... on the theory of basic protocols and respective symbolic verification tools. Means to limit the behavioral ..."
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
"... behavior in distributed systems and communication protocols. In this paper the method for analysis ..."
 
Том 19, № 6 (2012) Дедуктивная верификация телекоммуникационных систем, представленных на языке Си Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... in this extension. An example of verification of a data link protocol is considered. ..."
 
Том 26, № 1 (2019) Об одном подходе к построению сетевого процессорного устройства Аннотация  PDF (Rus)  похожие документы
Станислав Олегович Беззубцев, Вячеслав Викторович Васин, Дмитрий Юрьевич Волканов, Шынар Рустембековна Жайлауова, Владислав Александрович Мирошник, Юлия Александровна Скобцова, Руслан Леонидович Смелянский
 
Том 18, № 4 (2011) Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий
"... . These automata systems are useful for initial specification of telecommunication systems such as ring protocols ..."
 
Том 24, № 2 (2017) Задачи оптимизации с усреднением по части переменных и условия их оптимальности в форме принципа максимума Аннотация  PDF (Rus)  похожие документы
Анатолий Михайлович Цирлин
"... in which these variables change in the sliding mode, and the optimality criterion tends to its upper edge ..."
 
Том 26, № 1 (2019) Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов
"... protocol. It was proposed to use the SIVE as an integrated segment of the campus network of Ryazan State ..."
 
Том 20, № 2 (2013) Мультиагентная задача о роботах в пространстве: сложностнóй, информационный и криптографический аспекты Аннотация  PDF (Rus)  похожие документы
Антон Юрьевич Бернштейн, Николай Вячеславович Шилов
"... suggested by E.W. Dijkstra. We present a multiagent anonymous and scalable algorithm (protocol) solving ..."
 
Том 20, № 4 (2013) Программно-конфигурируемые сети как этап эволюции сетевых технологий Аннотация  PDF (Rus)  похожие документы
Артем Александрович Красотин, Игорь Вадимович Алексеев
"... technologies, considering its hybrid with MPLS, as an example. OpenFlow protocol constitutes the main part ..."
 
Том 20, № 6 (2013) Формальная модель и задачи верификации программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий
"... in the form of a protocol known as OpenFlow. In this paper we describe an abstract formal model of SDN ..."
 
Том 23, № 6 (2016) Имитационное моделирование для анализа выполнимости приложений реального времени Аннотация  PDF (Rus)  похожие документы
С. Н. Баранов, В. В. Никифоров
"...  combinations of the scheduling mode and the protocol of access to shared informational resources when run ..."
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
"... determines the system termination. In our approach, the model checking tool SPIN is used. The protocols ..."
 
Том 22, № 4 (2015) Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
А. Н. Носков, И. А. Манов
"... and telecom operators. Today we have a large number of dynamic routing protocols to route big volume traffic ..."
 
Том 23, № 2 (2016) Криптосистема на индуцированных групповых кодах Аннотация  PDF (Rus)  похожие документы
В. М. Деундяк, Ю. В. Косолапов
"... on the proposed cryptosystem a common protocol for open channel key generation is developed. ..."
 
Том 26, № 1 (2019) «Общие критерии» и безопасность программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Андрей Николаевич Петухов, Павел Львович Пилюгин
"... , − and by conditions imposed by Open Flow protocol application. However, proactive (threats and policies), passive ..."
 
Том 26, № 1 (2019) Анализ эффективности демультиплексирования транспортных потоков Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Степанов
"... a network load based on a protocol stack virtualization for the same input. We considered various routing ..."
 
Том 26, № 1 (2019) Построение бортовых сетей реального времени на основе технологии ПКС Аннотация  PDF (Rus)  похожие документы
Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова
"... technology (similar to those used in AFDX and FC-AE-ASMRT) in an SDN supporting OpenFlow 1.3 protocol ..."
 
Том 24, № 6 (2017) Семантически-ориентированная миграция Java-программ: опыт практического применения Аннотация  PDF (Rus)  похожие документы
Артем Олегович Алексюк, Владимир Михайлович Ицыксон
"... реализации протокола HTTP и библиотеки протоколирования. Результаты тестирования показали, что миграция кода ..."
 
Том 26, № 1 (2019) Алгоритм минимизации количества правил маршрутизации в ПКС Аннотация  PDF (Rus)  похожие документы
Иван Сергеевич Петров
"... , которые могут использовать протокол OpenFlow для реализации множества различных сетевых функций, например ..."
 
1 - 28 из 28 результатов

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

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