Электронная библиотека (репозиторий) Томского государственного университета
статьи в сборниках | 2021

Add to Quick Collection   All 3 Results

Showing items 1 - 3 of 3.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   BDD and DNF based algorithms for constructing all testability functions of combinational circuit
Authors: Golubeva, Olga
Source: International Siberian Conference on Control and Communications, May 13-15, 2021, Kazan, Russia. [S. l.], 2021. P. [1-6]
Type: статьи в сборниках
Date: 2021
Description: Constructing testability functions of a combinational circuit line, such as: the controllability, observability and stuck-at fault detection functions, as well as the complement of the observability f ... More
Add   Метод исключения переменной из КНФ Цейтина
Authors: Тычинский, Вячеслав Зиновьевич
Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.. Томск, 2021. С. 223-228
Type: статьи в сборниках
Date: 2021
Add   Применение 2-SAT задачи для обнаружения утечки ресурсов в списочных структурах
Authors: Серебренникова, Кристина Андреевна | Андреева, Валентина Валерьевна
Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.. Томск, 2021. С. 214-218
Type: статьи в сборниках
Date: 2021
  • «
  • ←
  • 1
  • →
  • »
^