Scientific Library of Tomsk State University

   E-catalog        

Your search returned 8 results.

Sort
Results
1.
Синтез отказоустойчивых последовательностных схем для неисправностей задержек путей С. А. Останин, А. Ю. Матросова, И. Е. Кириенко, Е. А. Николаева

by Останин, Сергей Александрович | Кириенко, Ирина Евгеньевна | Николаева, Екатерина Александровна | Матросова, Анжела Юрьевна.

Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.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 Online access: Click here to access online Availability: No items available :
3.
Минимизация частично определенных булевых функций, представленных BDD-графами С. А. Останин, И. Е. Кириенко

by Останин, Сергей Александрович | Кириенко, Ирина Евгеньевна.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
4.
Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом А. Ю. Матросова, С. А. Останин, А. В. Бухаров, И. Е. Кириенко

by Останин, Сергей Александрович | Бухаров, Александр Вениаминович | Кириенко, Ирина Евгеньевна | Матросова, Анжела Юрьевна | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК.

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
5.
Алгоритм поиска минимального BDD-графа, представляющего реализацию частично определенной булевой функции И. Е. Кириенко

by Кириенко, Ирина Евгеньевна.

Source: Материалы III Всероссийской молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 22–23 мая 2015 г.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 :
6.
Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом А. Ю. Матросова, С. А. Останин, А. В. Бухаров, И. Е. Кириенко

by Останин, Сергей Александрович | Бухаров, Александр Вениаминович | Кириенко, Ирина Евгеньевна | Матросова, Анжела Юрьевна | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК.

Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием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 :
7.
Оптимизация комбинационных схем с использованием допустимых функций И. Е. Кириенко

by Кириенко, Ирина Евгеньевна | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК.

Source: Материалы II Всероссийской молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 16–17 мая 2014 г.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 :
8.
Синтез самопроверяемых последовательностных схем для неисправностей задержек путей С. А. Останин, И. Е. Кириенко, В. А. Лавров

by Останин, Сергей Александрович | Кириенко, Ирина Евгеньевна | Лавров, Валерий Александрович.

Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.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 :
Pages