Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 9 results.

    1.
    Оптимизация проверяющего теста для неисправностей задержек контролепригодных схем А. Ю. Матросова, А. В. Мельников

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

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    2.
    Обеспечение тестируемости задержек путей при синтезе схем покрытием BDD-графов А. Ю. Матросова, Д. В. Кудин, Е. А. Николаева, Е. В. Румянцева

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

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    3.
    Observability estimation of a state variable when the LOS technique is applied A. V. Melnikov

    by Melnikov, A. V | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования.

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

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

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    5.
    Обнаружение ложных путей в схемах с памятью Е. П. Ирдынеева

    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 :
    6.
    Синтез последовательностных схем с использованием равновесного кодирования состояний Е. В. Митрофанов

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

    Source: Материалы Первой Всероссийской молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 17-18 мая 2013 г.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.
    Robust PDFs testing of combinational circuits based on covering BDDs A. Y. Matrosova, E. A. Nikolaeva, S. A. Ostanin, V. Singh

    by Nikolaeva, Ekaterina A | Ostanin, Sergey A | Singh, Virendra | Matrosova, Anzhela Yu | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    8.
    Finding false paths in sequential circuits A. Y. Matrosova, V. V. Andreeva, S. V. Chernyshov [et.al.]

    by Matrosova, Anzhela Yu | Chernyshov, S. V | Rozhkova, Svetlana V | Kudin, D. V | Andreeva, V. V.

    Source: Russian physics journalMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    9.
    Selection of the flip-flops for partial enhanced scan techniques A. Y. Matrosova, A. V. Melnikov, R. V. Mukhamedov, S. A. Ostanin, V. Singh

    by Melnikov, A. V | Mukhamedov, R. V | Ostanin, Sergey A | Singh, Virendra | Matrosova, Anzhela Yu | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :