Научная библиотека ТГУ catalog › Results of search for 'su:"графы"'

Search

Your search returned 6 results.

	1.	No cover image available Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом А. Ю. Матросова, С. А. Останин, А. В. Бухаров, И. Е. Кириенко by Останин, Сергей Александрович \| Бухаров, Александр Вениаминович \| Кириенко, Ирина Евгеньевна \| Матросова, Анжела Юрьевна \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования \| Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК. Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Повышение быстродействия логических схем за счет выявления неисправностей задержек путей с последующим их маскированием и определения ложных путей (на основе использования операций над ROBDD-графами) диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Чернышов Семен Владимирович ; науч. рук. Матросова А. Ю. ; Томский гос. ун-т by Чернышов, Семен Владимирович \| Матросова, Анжела Юрьевна [ths] \| Томский государственный университет. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2022Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом А. Ю. Матросова, С. А. Останин, А. В. Бухаров, И. Е. Кириенко by Останин, Сергей Александрович \| Бухаров, Александр Вениаминович \| Кириенко, Ирина Евгеньевна \| Матросова, Анжела Юрьевна \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования \| Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа Д. А. Третьяков, С. А. Останин by Третьяков, Дмитрий Александрович \| Останин, Сергей Александрович. Source: Материалы V Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 19-20 мая 2017 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available Построение множества всех достижимых реакций комбинационных схем В. А. Провкин by Провкин, Виктор Алексеевич. Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	6.	No cover image available Алгоритм построения ROBDD-графа, представляющего множество всех достижимых реакций комбинационной логической схемы В. А. Провкин, А. Ю. Матросова by Провкин, Виктор Алексеевич \| Матросова, Анжела Юрьевна. Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Other title: Algorithm of building a ROBDD graph representing the set of all reacheable reactions of a combinational circuit.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)