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

This page is only showing items within the active collection. You can remove the filter by clicking here.

Your search on produced these results.

Add to Quick Collection   All 31 Results

Showing items 1 - 15 of 31.
Sort:
 Add All Items to Quick Collection
Add   Использование точных оценок управляемости и наблюдаемости для выявления вредоносных подсхем (Trojan Circuits) в последовательностных схемах
Authors: Матросова, Анжела Юрьевна | Томков, Владислав Владимирович | Ахунова, Дина Иманбековна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 54-55
Type: статьи в сборниках
Date: 2016
Add   Материалы IV Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 20-21 мая 2016 г.
Authors: Шмырин, Игорь Сергеевич | Горцев, Александр Михайлович | Дмитриев, Юрий Глебович | Конев, Виктор Васильевич | Матросова, Анжела Юрьевна | Назаров, Анатолий Андреевич | Лившиц, Климентий Исаакович
Type: сборники
Date: 2016
Add   Синтез монотонных детекторов для подмножества равновесных кодов
Authors: Останин, Сергей Александрович | Буторина, Наталья Борисовна | Гребнев, Антон Олегович | Матросова, Анжела Юрьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 58-59
Type: статьи в сборниках
Date: 2016
Add   Синтез отказоустойчивых последовательностных схем для неисправностей задержек путей
Authors: Останин, Сергей Александрович | Кириенко, Ирина Евгеньевна | Николаева, Екатерина Александровна | Матросова, Анжела Юрьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 59-60
Type: статьи в сборниках
Date: 2016
Add   Свойства пар тестовых наборов, обнаруживающих неисправности задержек путей в логических схемах VLSI высокой производительности
Authors: Матросова, Анжела Юрьевна | Липский, Валерий Борисович
Source: Автоматика и телемеханика. 2015. № 4. С. 135-148
Type: статьи в журналах
Date: 2015
Add   Кубитные технологии анализа и диагностирования цифровых устройств
Authors: Матросова, Анжела Юрьевна | Baghdadi Ammar Awni Abbas | Литвинова, Евгения Ивановна | Хаханов, Владимир Иванович
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 58-59
Type: статьи в сборниках
Date: 2014
Add   Обеспечение надежности физических систем: синтез частично программируемых логических схем
Authors: Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Кириенко, Ирина Евгеньевна
Source: Известия высших учебных заведений. Физика. 2014. Т. 57, № 6. С. 127-132
Type: статьи в журналах
Date: 2014
Add   Памяти Аркадия Дмитриевича Закревского
Authors: Матросова, Анжела Юрьевна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 2. С. 90-91
Type: статьи в журналах
Date: 2014
Add   Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом
Authors: Останин, Сергей Александрович | Бухаров, Александр Вениаминович | Кириенко, Ирина Евгеньевна | Матросова, Анжела Юрьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 53-54
Type: статьи в сборниках
Date: 2014
Add   Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом
Authors: Останин, Сергей Александрович | Бухаров, Александр Вениаминович | Кириенко, Ирина Евгеньевна | Матросова, Анжела Юрьевна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 2. С. 82-89
Type: статьи в журналах
Date: 2014
Add   Обеспечение тестируемости задержек путей при синтезе схем покрытием BDD-графов
Authors: Кудин, Дмитрий Владимирович | Николаева, Екатерина Александровна | Румянцева, Елена Викторовна | Матросова, Анжела Юрьевна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2013. № 2. С. 130-139
Type: статьи в журналах
Date: 2013
Add   Обнаружение несущественных путей логических схем на основе совместного анализа и-или деревьев и SSBDD-графов
Authors: Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Сингх, В.
Source: Автоматика и телемеханика. 2013. № 7. С. 126-142
Type: статьи в журналах
Date: 2013
Add   Поиск простой цепи ограниченной длины в условиях динамически изменяющихся весов дуг
Authors: Громов, Максим Леонидович | Жамнов, Вадим Владимирович | Николаева, Екатерина Александровна | Матросова, Анжела Юрьевна
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 159-161
Type: статьи в журналах
Date: 2013
Add   Синтез детекторов равновесных кодов с использованием монотонных функций
Authors: Матросова, Анжела Юрьевна | Буторина, Наталья Борисовна | Якимова, Наталья Олеговна
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 171-173
Type: статьи в журналах
Date: 2013
Add   Синтез легко тестируемых последовательностных схем
Authors: Матросова, Анжела Юрьевна | Митрофанов, Евгений Владимирович
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2013. № 2. С. 140-147
Type: статьи в журналах
Date: 2013

Creator

Date

Subject

Resource Type

^