Scientific Library of Tomsk State University

   E-catalog        

Refine your search


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

  • Your search returned 14 results.

    1.
    Detection and masking of Trojan Circuits in sequential logic A. Y. Matrosova, E. V. Mitrofanov, S. A. Ostanin, E. A. Nikolaeva

    by Mitrofanov, Evgenii V | Ostanin, Sergey A | Nikolaeva, Ekaterina A | Matrosova, Anzhela Yu.

    Source: Proceedings of 2017 IEEE East-West Design & Test Symposium (EWDTS), Novi Sad, Serbia, September 27 – October 2, 2017Material 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.
    Trojan Circuits masking and debugging of combinational circuits with LUT insertion A. Y. Matrosova, S. A. Ostanin

    by Matrosova, Anzhela Yu | Ostanin, Sergey A.

    Source: 2018 IEEE International conference on automation, quality and testing, robotics (AQTR) : THETA 21st edition, 24th-26th May, Cluj-Napoca, Romania : proceedingsMaterial 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 :
    3.
    Finding false paths for sequential circuits using operations on ROBDDs A. Y. Matrosova, S. A. Ostanin, S. V. Chernyshov

    by Matrosova, Anzhela Yu | Ostanin, Sergey A | Chernyshov, Semen V.

    Source: 2018 IEEE 24th International Symposium on On-Line Testing and Robust System Design (IOLTS 2018), 2-4 July 2018, SpainMaterial 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 :
    4.
    Интервальные расширения булевых функций и троичное моделирование последовательностных схем О. И. Голубева

    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 :
    5.
    Поиск ложных путей в последовательностных схемах с использованием ROBDD С. В. Чернышов, А. Ю. Матросова

    by Чернышов, Семен Владимирович | Матросова, Анжела Юрьевна.

    Source: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 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 :
    6.
    Синтез легко тестируемых последовательностных схем А. Ю. Матросова, Е. В. Митрофанов

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

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    7.
    Обнаружение ложных путей в последовательностных схемах А. Ю. Матросова, В. В. Андреева, С. В. Чернышов [и др.]

    by Андреева, Валентина Валерьевна | Чернышов, Семен Владимирович | Рожкова, Светлана Владимировна | Кудин, Дмитрий Владимирович | Матросова, Анжела Юрьевна.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    8.
    Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций О. И. Голубева

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

    Source: Таврический научный обозревательMaterial type: Article Article; Format: electronic available online remote Other title: Three-value simulation of sequential circuits on the input sequences of the arbitrary length, based on the ROBDD representation of functions.Online access: Click here to access online Availability: No items available :
    9.
    Preventing and masking Trojan Circuits triggering out of working area A. Y. Matrosova, E. V. Mitrofanov, S. A. Ostanin, I. E. Kirienko

    by Mitrofanov, Evgenii V | Ostanin, Sergey A | Kirienko, Irina E | Matrosova, Anzhela Yu.

    Source: 2017 European Conference on Circuit Theory and Design (ECCTD), September 4-6, 2017, Catania, ItalyMaterial 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 :
    10.
    ROBDD based path delay fault testable combinational circuit synthesis T. Shah, V. Singh, A. Matrosova

    by Shah, Toral | Singh, Virendra | Matrosova, Anzhela Yu.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016Material 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 :
    11.
    ROBDDS application for finding the shortest transfer sequence of sequential circuit or only revealing existence of this sequence without deriving the sequence itself A. Matrosova, V. Andreeva, A. Melnikov

    by Matrosova, Anzhela Yu | Andreeva, V. V | Melnikov, A. V.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016Material 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 :
    12.
    Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы О. И. Голубева

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

    Source: Таврический научный обозревательMaterial type: Article Article; Format: electronic available online remote Other title: Three-value simulation of the sequential circuit and the construction on its basis of transition sequences.Online access: Click here to access online Availability: No items available :
    13.
    Detection and masking of trojan circuits in sequential logic A. Y. Matrosova, E. V. Mitrofanov, S. A. Ostanin [et.al.]

    by Matrosova, Anzhela Yu | Ostanin, Sergey A | Butorina, Natalia B | Pakhomova, Elena Grigorievna | Shulga, Sergey Anatolievich | Mitrofanov, Evgenii V.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Обнаружение и маскирование вредоносных подсхем в последовательностных схемах.Online access: Click here to access online Availability: No items available :
    14.
    Построение кратчайшей установочной последовательности последовательностной схемы с использованием 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 :