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

Add to Quick Collection   All 65 Results

Showing items 31 - 45 of 65.
Sort:
 Add All Items to Quick Collection
Add   Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits)
Authors: Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Николаева, Екатерина Александровна
Source: Труды Института системного программирования РАН. 2017. Т. 29, вып. 5. С. 61-73
Type: статьи в журналах
Date: 2017
Description: При синтезе современных интегральных схем разработчики все чаще прибегают к услугам сторонних фирм для реализации тех или иных компонент системы (Intellectual Property cores, перепрограммируемых компо ... More
Add   Использование точных оценок управляемости и наблюдаемости для выявления вредоносных подсхем (Trojan Circuits) в последовательностных схемах
Authors: Матросова, Анжела Юрьевна | Томков, Владислав Владимирович | Ахунова, Дина Иманбековна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 54-55
Type: статьи в сборниках
Date: 2016
Add   Материалы IV Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 20-21 мая 2016 г.
Authors: Шмырин, Игорь Сергеевич | Горцев, Александр Михайлович | Дмитриев, Юрий Глебович | Конев, Виктор Васильевич | Матросова, Анжела Юрьевна | Назаров, Анатолий Андреевич | Лившиц, Климентий Исаакович
Type: сборники
Date: 2016
Add   Обеспечение надежности физических систем: выявление мест возможного включения вредоносных подсхем (Trojan Circuits) в последовательностных схемах
Authors: Матросова, Анжела Юрьевна | Кириенко, Ирина Евгеньевна | Томков, Владислав Владимирович | Мирютов, Алексей Анатольевич
Source: Известия высших учебных заведений. Физика. 2016. Т. 59, № 8. С. 140-147
Type: статьи в журналах
Date: 2016
Description: Надежность функционирования физических систем определяется надежностью составляющих их компонентов, в том числе логических управляющих компонентов. В связи с появлением возможности включения в логичес ... More
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   Обеспечение надежности физических систем: синтез логических схем, в которых задержка каждого пути обнаружима, с одновременным компактным представлением тестовых пар
Authors: Матросова, Анжела Юрьевна | Митрофанов, Евгений Владимирович | Ахунова, Дина Иманбековна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 9. С. 105-114
Type: статьи в журналах
Date: 2015
Description: Одним из важных свойств физических систем является надежность их функционирования, которая достигается, в том числе, надежностью компонент, в частности надежностью логических управляющих компонент. Ра ... More
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

Creator

Date

Subject

Resource Type

^