Электронная библиотека (репозиторий) Томского государственного университета
Матросова, Анжела Юрьевна | эквивалентная нормальная форма

Add to Quick Collection   All 5 Results

Showing items 1 - 5 of 5.
  • «
  • 1
  • »
Sort:
 Add All Items to Quick Collection
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2024. № 66. С. 108-119
Type: статьи в журналах
Date: 2024
Description: Исследуется метод получения тестовых пар соседних булевых векторов, порождаемых булевой разностью исследуемого пути. Использование таких пар позволяет снизить потребляемую мощность при тестировании и ... More
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 93-94
Type: статьи в сборниках
Date: 2018
Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 10. С. 170-178
Type: статьи в журналах
Date: 2017
Description: Предлагается метод поиска ложных путей в схемах с памятью. В отличие от эвристических подходов, развиваемых зарубежными исследователями, разработан точный метод, основанный на использовании операций н ... More
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 2. С. 99-107
Type: статьи в журналах
Date: 2011
  • «
  • 1
  • »
^