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

Add to Quick Collection   All 6 Results

Showing items 1 - 6 of 6.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами
Authors: Матросова, Анжела Юрьевна | Чернышов, Семен Владимирович
Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.. Томск, 2020. С. 169-178
Type: статьи в сборниках
Date: 2020
Add   Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой международной конференции, 7-9 сентября 2020 г
Authors: Беккерман, Екатерина Николаевна | Шабалдина, Наталия Владимировна | Горцев, Александр Михайлович | Громов, Максим Леонидович | Торгаев, Станислав Николаевич | Медведев, Юрий Геннадьевич | Останин, Сергей Александрович | Прокопенко, Светлана Анатольевна | Захарова, Галина Борисовна | Матросова, Анжела Юрьевна | Нежельская, Людмила Алексеевна
Type: сборники
Date: 2020
Description: Тринадцатая конференция с международным участием «Новые информационные технологии в исследовании сложных структур» была проведена в дистанционном формате с 7 по 9 сентября 2020 г. Материалы сборника о ... More
Add   Построение последовательности, доставляющей тестовую пару для робастно тестируемой неисправности задержки пути
Authors: Матросова, Анжела Юрьевна | Чернышов, Семен Владимирович
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 137
Type: статьи в сборниках
Date: 2020
Add   Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем
Authors: Матросова, Анжела Юрьевна | Провкин, Виктор Алексеевич | Тычинский, Вячеслав Зиновьевич | Николаева, Екатерина Александровна | Гошин, Геннадий Георгиевич
Source: Известия высших учебных заведений. Физика. 2020. Т. 63, № 12. С. 114-123
Type: статьи в журналах
Date: 2020
Description: С целью повышения надежности управляющих компонент сложных физических систем рассматривается проблема маскирования неисправностей и вредоносных подсхем, обнаруживаемых на заключительных этапах создани ... More
Add   Программируемая коммутационная среда
Authors: Матросова, Анжела Юрьевна | Ким, Олег Хонбинович | Солдатов, Андрей Алексеевич | Костина, Мария Алексеевна | Солдатов, Алексей Иванович
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2020. № 50. С. 114-122
Type: статьи в журналах
Date: 2020
Description: Рассмотрены основные тенденции современного развития электронной компонентной базы. Показаны основные проблемы, с которыми сталкиваются производители микросхем. Одним из путей решения указанных пробле ... More
Add   Труды Томского государственного университета. Т. 305
Authors: Шмырин, Игорь Сергеевич | Горцев, Александр Михайлович | Сущенко, Сергей Петрович | Дмитриев, Юрий Глебович | Моисеева, Светлана Петровна | Конев, Виктор Васильевич | Матросова, Анжела Юрьевна | Назаров, Анатолий Андреевич | Лившиц, Климентий Исаакович | Останин, Сергей Александрович
Type: сборники
Date: 2020
Description: Сборник содержит материалы Международной научной конференции «Математическое и программное обеспечение информационных, технических и экономических систем», проводившейся 28–30 мая 2020 г. на базе Инст ... More
  • «
  • ←
  • 1
  • →
  • »

Creator

Subject

Resource Type

^