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

Add to Quick Collection   All 35 Results

Showing items 1 - 15 of 35.
Sort:
 Add All Items to Quick Collection
Add   Булева разность и обнаружение неисправностей задержек пути
Authors: Матросова, Анжела Юрьевна | Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2024. № 66. С. 108-119
Type: статьи в журналах
Date: 2024
Description: Исследуется метод получения тестовых пар соседних булевых векторов, порождаемых булевой разностью исследуемого пути. Использование таких пар позволяет снизить потребляемую мощность при тестировании и ... More
Add   Метод статического анализа утечки памяти в динамических структурах произвольной сложности
Authors: Голомазова, Анастасия Евгеньевна | Андреева, Валентина Валерьевна
Source: Материалы XI-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-27 мая 2024 г.. Томск, 2024. С. 107-115
Type: статьи в сборниках
Date: 2024
Add   Минимизация корня логического уравнения КНФ = 1
Authors: Бирюков, Марк Олегович | Андреева, Валентина Валерьевна
Source: Материалы XI-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-27 мая 2024 г.. Томск, 2024. С. 90-96
Type: статьи в сборниках
Date: 2024
Add   Поиск утечек памяти в динамических структурах списочного типа путем применения 2SAT-задачи
Authors: Сафонов, Данил Дмитриевич | Андреева, Валентина Валерьевна
Source: Материалы XI-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-27 мая 2024 г.. Томск, 2024. С. 154-171
Type: статьи в сборниках
Date: 2024
Add   Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования
Authors: Останин, Сергей Александрович | Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2023. № 62. С. 124-131
Type: статьи в журналах
Date: 2023
Description: Троирование (Triple-Modular Redundancy (TMR) technique) является одним из широко применяемых на практике подходов к обеспечению надежности функционирования логических схем. В рамках этой технологии ис ... More
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

Creator

Date

Subject

Resource Type

^