Scientific Library of Tomsk State University

   E-catalog        

Your search returned 4 results.

1.
Троичное моделирование комбинационных схем с использованием ROBDD О. И. Голубева

by Голубева, Ольга Ивановна.

Source: Компьютерные науки и информационные технологии : материалы Международной научной конференции, 2-3 июля 2018 г., СаратовMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
2.
Интервальные расширения булевых функций и троичное моделирование последовательностных схем О. И. Голубева

by Голубева, Ольга Ивановна.

Source: Таврический научный обозревательMaterial type: Article Article; Format: electronic available online remote Other title: Interval extensions of boolean functions and three-value simulation of sequential circuits.Online access: Click here to access online Availability: No items available :
3.
Графовые представления множеств всех достижимых реакций комбинационной схемы В. А. Провкин, А. Ю. Матросова

by Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна.

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Graph representations of the sets of all reachable reactions of the combinational circuit.Online access: Click here to access online Availability: No items available :
4.
Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа Д. А. Третьяков, С. А. Останин

by Третьяков, Дмитрий Александрович | Останин, Сергей Александрович.

Source: Материалы V Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 19-20 мая 2017 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :