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

Add to Quick Collection   All 9 Results

Showing items 1 - 9 of 9.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Testing digital circuits: studying the increment of the number of states and estimating the fault coverage
Authors: Laputenko, Andrey V | López, Jorge | Kushik, Natalia G. | Vinarskii, Evgenii
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. 220-224
Type: статьи в сборниках
Date: 2018
Description: Testing of digital circuits is very important,
Add   Improving protocol passive testing through "Gedanken" experiments with finite state machines
Authors: Kushik, Natalia G. | Cavalli, Ana | Yevtushenko, Nina V. | López, Jorge
Source: 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), 1-3 August 2016, Vienna, Austria. [S. l.], 2016. P. 315-322
Type: статьи в сборниках
Date: 2016
Add   On using finite state machines for optimization and testing of SDN controllers
Authors: Berriri, A. | Kushik, Natalia G. | Zeghlache, D.
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск 2016. С. 39-40
Type: статьи в сборниках
Date: 2016
Add   Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs
Authors: Kushik, Natalia G. | Yevtushenko, Nina V. | Yenigün, Hüsnü
Source: Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO 2016), 19 February, 2016, Rome, Italy. [S. l.], 2016. P. 83-90
Type: статьи в сборниках
Date: 2016
Add   Some classes of finite state machines with polynomial length of distinguishing test cases
Authors: Yenigün, Hüsnü | Yevtushenko, Nina V. | Kushik, Natalia G.
Source: Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 04-08, 2016. NY, 2016. P. 1680-1685
Type: статьи в сборниках
Date: 2016
Add   Synchronizing sequences for effective network monitoring: an application to TCP
Authors: Suhopluev, M. | López, J. | Kushik, Natalia G. | Schipachev, N.
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 40-41
Type: статьи в сборниках
Date: 2016
Add   Adaptive homing is in P
Authors: Kushik, Natalia G. | Yevtushenko, Nina V.
Source: Electronic proceedings in theoretical computer science. 2015. Vol. 180. P. 73-78
Type: статьи в журналах
Date: 2015
Description: Homing preset and adaptive experiments with Finite State Machines (FSMs) are widely used when a non-initialized discrete event system is given for testing and thus, has to be set to the known state at ... More
Add   A TEFSM-based framework for QoE evaluation of OTT services
Authors: Rivera, D. | Fuenzalida, C. | Cavalli, Ana | Yevtushenko, Nina V. | Kushik, Natalia G.
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 17-30
Type: статьи в журналах
Date: 2014
Add   On the length of homing sequences for nondeterministic finite state machines
Authors: Kushik, Natalia G. | Yevtushenko, Nina V.
Source: Implementation and Application of Automata : 18th International Conference, CIAA 2013 Halifax, NS, Canada, July 16-19, 2013 : Proceedings. Berlin, 2013. P. 220-231
Type: статьи в сборниках
Date: 2013
  • «
  • ←
  • 1
  • →
  • »
^