Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 13 results.

    1.
    Derivation of the cascade parallel composition of timed finite state machines using BALM-II M. L. Gromov, N. V. Shabaldina

    by Gromov, Maxim L | Shabaldina, Natalia V.

    Source: Automatic control and computer sciencesMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    2.
    Stuck-at-faults tester as a web-service N. A. Shalyapina, A. A. Zaytsev, S. V. Batratskiy, M. L. Gromov

    by Zaytsev, A. A | Batratskiy, S. V | Gromov, Maxim L | Shalyapina, N. A.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Other title: Тесты на константные неисправности как веб-сервис.Online access: Click here to access online Availability: No items available :
    3.
    FSM-based sequential circuits optimization by changing initial state of specification M. L. Gromov, N. V. Shabaldina, A. Tvardovskii, S. A. Prokopenko

    by Gromov, Maxim L | Shabaldina, Natalia V | Tvardovskii, Aleksandr | Prokopenko, Svetlana A.

    Source: 2021 IEEE East-West Design & Test Symposium (EWDTS) : proceedings, Batumi, Georgia, September 10 – 13, 2021Material 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.
    Visualization system for a radio images V. L. Khmelev, M. L. Gromov

    by Khmelev, V. L | Gromov, Maxim L.

    Source: Journal of Physics: Conference SeriesMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    5.
    Study of high-frequency brightness amplifiers radial profile I. S. Musorov, A. E. Kulagin, S. N. Torgaev [et al.]

    by Kulagin, Anton E | Torgaev, Stanislav N | Torgaeva, Daria S | Gromov, Maxim L | Musorov, Ilya S.

    Source: 19th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM 2018), Erlagol, Altai Republic, 29 June - 3 July, 2018 : 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 :
    6.
    Testing components of interacting timed finite state machines M. Gromov, A. Tvardovskii, N. Yevtushenko

    by Gromov, Maxim L | Tvardovskii, Aleksandr | Yevtushenko, Nina 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 :
    7.
    FSMTest-1.0: a manual for researches N. Shabaldina, M. Gromov

    by Shabaldina, Natalia V | Gromov, Maxim L | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2015), Batumi, Georgia, September 26-29, 2015Material 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.
    Minimizing deterministic timed finite state machines D. Bresolin, A. Tvardovskii, N. V. Yevtushenko [et al.]

    by Tvardovskii, Aleksandr | Yevtushenko, Nina V | Villa, Tiziano | Gromov, Maxim L | Bresolin, Davide.

    Source: IFAC-PapersOnLineMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    9.
    Experiments on parallel composition of timed finite state machines A. P. Sotnikov, N. V. Shabaldina, M. L. Gromov

    by Sotnikov A. P | Shabaldina, Natalia V | Gromov, Maxim L.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Other title: Эксперименты no построению параллельной композиции временных автоматов.Online access: Click here to access online Availability: No items available :
    10.
    Automated vehicle control system based on a single-board computer C. Gu, M. L. Gromov

    by Gu, C | Gromov, Maxim L.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.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 :
    11.
    "Life" in tensor: implementing cellular automata on graphics adapters N. A. Shalyapina, M. L. Gromov

    by Shalyapina, N. A | Gromov, Maxim L.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Other title: "Жизнь" в тензорах: реализация клеточных автоматов на видеокартах.Online access: Click here to access online Availability: No items available :
    12.
    Optimization Criteria for Digital Circuits M. Gromov, R. Jiang, N. Yevtushenko

    by Gromov, Maxim L | Jiang, R | Yevtushenko, Nina V.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    13.
    Using Boolean relation determinization in digital circuit optimization M. Gromov, N. Kushik, Hsuan-Po Lin, Wei-Lun Hung

    by Gromov, Maxim L | Kushik, Natalia G | Hsuan-Po Lin | Wei-Lun Hung.

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