Электронная библиотека (репозиторий) Томского государственного университета
Shirokova, Ekaterina

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Optimizing components of finite state machines composition based on don’t care input sequences in hardware implementation
Authors: Shirokova, Ekaterina | Evtushenko, Larisa | Laputenko, Andrey V.
Source: 2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10-13, 2021 : proceedings. [S. l.], 2021. P. 212-216
Type: статьи в сборниках
Date: 2021
Description: The paper is devoted to the problem of optimization of discrete multi-module systems. The proposed optimization is based on iterative component-wise optimization. This approach has established itself ... More
Add   Checking robustness of web services based on the parallel composition of partial timed finite state machines
Authors: Shirokova, Ekaterina
Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018. [S. l.], 2018. P. 256-261
Type: статьи в сборниках
Date: 2018
Description: In this paper, we discuss how the robustness of the
  • «
  • ←
  • 1
  • →
  • »
^