Authors: 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, 2021. [S. l.], 2021. P. 361-366

Type: статьи в сборниках

Date: 2021

Description: Finite State Machines (FSMs) are widely used for analysis and synthesis of hardware designs. In particular FSM can be used to specify and optimize sequential circuits. The number of gates of a circuit ... More

Authors: Khmelev, V. L. | Gromov, Maxim L.

Source: Journal of Physics: Conference Series. 2021. Vol. 1843. P. 012025 (1-5)

Type: статьи в журналах

Date: 2021

Description: Radio wave tomography (radiotommography) allows restoring the shape of objects hidden behind radio-transparent barriers. Radiotommography detectors use this technology for location and visualization f ... More

Authors: Gu, C. | Gromov, Maxim L.

Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 78-79

Type: статьи в сборниках

Date: 2020

Authors: Shalyapina, N. A. | Gromov, Maxim L.

Source: Труды Института системного программирования РАН. 2019. Т. 31, вып. 3. С. 217-227

Type: статьи в журналах

Date: 2019

Description: This paper presents an approach to the description of cellular automata using tensors. This approach allows to attract various frameworks for organizing scientific calculations on high-performance gra ... More

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

Source: IFAC-PapersOnLine. 2018. Vol. 51, № 7. P. 486-492

Type: статьи в журналах

Date: 2018

Description: Timed automata and timed finite state machins (TFSMs) have been proposed to represent more accurately the behaviour of systems in continuous time. Recently, we introduced a model of TFSMs that extends ... More

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

Source: Труды Института системного программирования РАН. 2018. Vol. 30, № 1. С. 41-54

Type: статьи в журналах

Date: 2018

Description: In this paper, we tell about a web-service we would like to develop. There are two goals we aim at, when developing this service. The first one is to give researchers a platform, where they could cond ... More

Authors: 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 : proceedings. [S. l.], 2018. P. 375-378

Type: статьи в сборниках

Date: 2018

Description: The paper presents experimental results on obtaining high pulse repetition frequencies of radiation/gain in copper bromide vapor active media. Also the results of experimental and theoretical studies ... More

Authors: Gromov, Maxim L. | Shabaldina, Natalia V.

Source: Automatic control and computer sciences. 2017. Vol. 51, № 7. P. 507-515

Type: статьи в журналах

Date: 2017

Description: The paper considers the problem of deriving a cascade parallel composition of timed finite state machines (TFSMs). It can be reduced to a step-by-step derivation of a binary parallel composition. It i ... More

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

Source: Труды Института системного программирования РАН. 2017. Т. 29, вып. 3. С. 233-246

Type: статьи в журналах

Date: 2017

Description: In this paper, we continue our work that is devoted to the parallel composition of Timed Finite State Machines (TFSMs). We consider the composition of TFSMs with timeouts and output delays. We held ex ... More