Требуемые страницы

Ниже показаны до 20 результатов, начиная с №101.

Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)

101. Формализация языка описания моделей распределенных систем программ при помощи временных автоматов‏‎ (1 ссылка)
102. О проблеме эквивалентности операторных программ на упорядоченных полугрупповых моделях‏‎ (1 ссылка)
103. On the verification of asynchronous parameterized networks of communicating processes by model checking‏‎ (1 ссылка)
104. Операторные модели взаимодействующих процессов‏‎ (1 ссылка)
105. Марченко Александр Михайлович‏‎ (1 ссылка)
106. О верификации параметризованных симметричных систем распределенных программ‏‎ (1 ссылка)
107. An invariant-based approach to the verification of asynchronous parameterized networks‏‎ (1 ссылка)
108. О формальной верификации криптографических протоколов с использованием spi-исчисления‏‎ (1 ссылка)
109. VERMONT - a toolset for checking SDN packet forwarding policies on-line‏‎ (1 ссылка)
110. Сложность комбинаторных алгоритмов‏‎ (1 ссылка)
111. О перспективах решения задачи обфускации компьютерных программ‏‎ (1 ссылка)
112. On the Network Update Problem for Software Defined Networks‏‎ (1 ссылка)
113. Об одном обобщении подстановок применительно к задаче синтеза инвариантов программ‏‎ (1 ссылка)
114. Двусторонняя унификация программ и ее применение для задач рефакторинга‏‎ (1 ссылка)
115. Формальная модель и задачи верификации программно-конфигурируемых сетей‏‎ (1 ссылка)
116. О проблеме эквивалентности операторных программ на уравновешенных однородных обратимых шкалах‏‎ (1 ссылка)
117. Program equivalence checking by two-tape automata‏‎ (1 ссылка)
118. Оптимизирующие преобразования потоковых программ‏‎ (1 ссылка)
119. Математическая криптография‏‎ (1 ссылка)
120. О взаимосвязи двух семантик параллельных вычислений‏‎ (1 ссылка)

Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)