Требуемые страницы
Ниже показаны до 20 результатов, начиная с №21.
Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)
- On the equivalence checking problem for a model of programs related with muti-tape automata (1 ссылка)
- To the obfuscation of sequential program control-flow (1 ссылка)
- Полиномиальный по сложности алгоритм, распознающий коммутативную эквивалентность схем программ (1 ссылка)
- Методика использования системы имитационного моделирования РВС РВ ДИАНА, основанной на стандарте HLA (1 ссылка)
- A Formal Model and Verification Problems for Software Defined Networks (1 ссылка)
- О разрешимости проблемы эквивалентности в одном классе металинейных унарных рекурсивных программ (1 ссылка)
- Об одной полисемантической модели последовательных программ (1 ссылка)
- Теоретико-автоматный подход к определению формальных семантик языков программирования (1 ссылка)
- О дедуктивной безопасности запросов к базам конфиденциальных данных в системе облачных вычислений (1 ссылка)
- Encoding mobile ambients into the pi-calculus (1 ссылка)
- Об эквивалентности металинейных унарных рекурсивных программ (1 ссылка)
- К вопросу о существовании стойких обфускаторов программ (1 ссылка)
- Языки описания схем. Проблемы верификации (1 ссылка)
- О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью (1 ссылка)
- On the equivalence problem for programs with mode switching (1 ссылка)
- Towards a unified toolset for embedded systems development (1 ссылка)
- Применение алгебры подстановок для унификации программ (1 ссылка)
- Методы защиты проектных решений при проектировании микроэлектронных схем (1 ссылка)
- A runtime verification system for Software Defined Networks (1 ссылка)
- О разрешимости проблемы эквивалентности в одном классе операторных программ (1 ссылка)
Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)