Требуемые страницы
Ниже показаны до 20 результатов, начиная с №1.
Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)
- Студенты кафедры математической кибернетики (4 ссылок)
- Аспиранты кафедры математической кибернетики (3 ссылок)
- Об одной полугрупповой модели программ, определяемой при помощи двухленточных автоматов (1 ссылка)
- Быстрые алгоритмы антиунификации и их применение при анализе программ (1 ссылка)
- Теория надежности и контроля схем. Методы построения тестов (1 ссылка)
- О логико-термальной эквивалентности стандартных схем программ (1 ссылка)
- Equivalence Checking Problem for Finite State Transducers (1 ссылка)
- Об эквивалентности ограниченно недетерминированных автоматов-преобразователей над полугруппами (1 ссылка)
- К вопросу об обфускации конечных автоматов (1 ссылка)
- О проблеме обфускации программ (1 ссылка)
- On the minimization and equivalence checking of sequential reactive systems (1 ссылка)
- Two-sided unification is NP-complete (1 ссылка)
- Применение алгоритмов проверки эквивалентности для оптимизации программ (1 ссылка)
- Модели и алгоритмы в задаче проверки эквивалентности программ (1 ссылка)
- An approach to the obfuscation of control-flow of sequential computer programs (1 ссылка)
- О сложности задачи антиунификации (1 ссылка)
- Об одной системе вывода, связанной со статическим анализом программ (1 ссылка)
- Быстрые алгоритмы разрешения эквивалентности операторных программ на уравновешенных шкалах (1 ссылка)
- Универсальный подход к проверке отношений симуляции для моделей программ (1 ссылка)
- О международном проекте в области проверки правильности программного обеспечения встроенных систем (1 ссылка)
Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)