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

Add to Quick Collection   All 9 Results

Showing items 1 - 9 of 9.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами
Authors: Матросова, Анжела Юрьевна | Чернышов, Семен Владимирович
Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.. Томск, 2020. С. 169-178
Type: статьи в сборниках
Date: 2020
Add   Построение минимизированного проверяющего теста для системы безызбыточных ДНФ, ориентированное на сокращение расстояния по Хеммингу между соседними тестовыми наборами
Authors: Сампилов, Алексей Альбертович | Андреева, Валентина Валерьевна
Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.. Томск, 2020. С. 188-194
Type: статьи в сборниках
Date: 2020
Add   Построение последовательности, доставляющей тестовую пару для робастно тестируемой неисправности задержки пути
Authors: Матросова, Анжела Юрьевна | Чернышов, Семен Владимирович
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 137
Type: статьи в сборниках
Date: 2020
Add   О свойствах ROBDD-графов, представляющих тестовые пары для робастно тестируемых неисправностей задержек путей
Authors: Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Материалы VII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-25 мая 2019 г.. Томск, 2019. С. 190-196
Type: статьи в сборниках
Date: 2019
Add   Синтез тестов для цифровых систем на высоком и низком уровнях абстракции
Authors: Лапутенко, Андрей Владимирович | Винарский, Евгений Максимович
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2019. № 47. С. 110-117
Type: статьи в журналах
Date: 2019
Description: Исследуется задача построения тестов с гарантированной полнотой для последовательностных цифровых систем. Рассматриваются тесты, нацеленные как на обнаружение в логических схемах низкоуровневых неиспр ... More
Add   Обработка экспериментальных данных при верификации компонентов физических систем: оценка качества тестовых последовательностей
Authors: Лапутенко, Андрей Владимирович | Лопез Коронадо, Хорхе Елеазар | Евтушенко, Нина Владимировна
Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 11. С. 146-151
Type: статьи в журналах
Date: 2017
Description: Данная статья является продолжением исследований по построению качественных верификационных тестов для проверки цифровых компонентов, используемых в различных физических системах, таких, как, например ... More
Add   Пространственно-ориентированная оптимизация тестовых последовательностей с применением итеративного подхода по многим переменным
Authors: Андреева, Валентина Валерьевна | Сорудейкин, Кирилл Александрович
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2015. № 1. С. 68-76
Type: статьи в журналах
Date: 2015
Add   Построение максимально совместимых подмножеств троичных векторов с помощью дерева разложений
Authors: Тарновская, Татьяна Павловна
Source: Материалы II Всероссийской молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 16–17 мая 2014 г.. Томск, 2014. С. 31-35
Type: статьи в сборниках
Date: 2014
Add   Пространственно-ориентированная оптимизация тестовых последовательностей с применением итеративного подхода
Authors: Андреева, Валентина Валерьевна | Сорудейкин, Кирилл Александрович
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 46-47
Type: статьи в сборниках
Date: 2014
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

Resource Type

^