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

Add to Quick Collection   All 19 Results

Showing items 1 - 15 of 19.
Sort:
 Add All Items to Quick Collection
Add   Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора
Authors: Иванкин, Дмитрий Ильич | Андреева, Валентина Валерьевна
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 87-92
Type: статьи в сборниках
Date: 2022
Add   Поиск утечек ресурсов с помощью графа состояний памяти
Authors: Сафонов, Данил Дмитриевич | Андреева, Валентина Валерьевна
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 118-123
Type: статьи в сборниках
Date: 2022
Add   Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования
Authors: Останин, Сергей Александрович | Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 78-79
Type: статьи в сборниках
Date: 2022
Add   Применение бинарного графа для верификации программного кода
Authors: Картавых, Георгий Владимирович | Андреева, Валентина Валерьевна
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 92-99
Type: статьи в сборниках
Date: 2022
Add   Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул
Authors: Матросова, Анжела Юрьевна | Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 73-74
Type: статьи в сборниках
Date: 2022
Add   Сокращение ранга конъюнкции, представляющей корень логического уравнения
Authors: Шестернин, Антон Николаевич | Андреева, Валентина Валерьевна
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 141-146
Type: статьи в сборниках
Date: 2022
Add   Применение 2-SAT задачи для обнаружения утечки ресурсов в списочных структурах
Authors: Серебренникова, Кристина Андреевна | Андреева, Валентина Валерьевна
Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.. Томск, 2021. С. 214-218
Type: статьи в сборниках
Date: 2021
Add   Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей
Authors: Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.. Томск, 2020. С. 194-200
Type: статьи в сборниках
Date: 2020
Add   Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием КНФ логической схемы
Authors: Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 136
Type: статьи в сборниках
Date: 2020
Add   Построение минимизированного проверяющего теста для системы безызбыточных ДНФ, ориентированное на сокращение расстояния по Хеммингу между соседними тестовыми наборами
Authors: Сампилов, Алексей Альбертович | Андреева, Валентина Валерьевна
Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.. Томск, 2020. С. 188-194
Type: статьи в сборниках
Date: 2020
Add   Маскирование неисправностей полюсов логических схем с использованием частичных функций
Authors: Матросова, Анжела Юрьевна | Провкин, Виктор Алексеевич | Андреева, Валентина Валерьевна
Source: Информационные технологии и математическое моделирование (ИТММ-2019) : материалы XVIII Международной конференции имени А. Ф. Терпугова, 26-30 июня 2019 г.. Томск, 2019. Ч. 2. С. 21-25
Type: статьи в сборниках
Date: 2019
Add   О свойствах ROBDD-графов, представляющих тестовые пары для робастно тестируемых неисправностей задержек путей
Authors: Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Материалы VII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-25 мая 2019 г.. Томск, 2019. С. 190-196
Type: статьи в сборниках
Date: 2019
Add   Исследование и разработка алгоритмов упрощения КНФ при решении проблемы выполнимости
Authors: Пашкова, Наталья Николаевна | Андреева, Валентина Валерьевна
Source: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г.. Томск, 2018. С. 17-21
Type: статьи в сборниках
Date: 2018
Add   Обнаружение робастно тестируемых неисправностей задержек путей
Authors: Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 93-94
Type: статьи в сборниках
Date: 2018
Add   Статическое тестирование динамических структур данных
Authors: Петренко, Екатерина Андреевна | Андреева, Валентина Валерьевна
Source: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г.. Томск, 2018. С. 22-34
Type: статьи в сборниках
Date: 2018

Creator

Date

Subject

^