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

Add to Quick Collection   All 15 Results

Showing items 1 - 15 of 15.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Test derivation for the software defined networking platforms: novel fault models and test completeness
Authors: Burdonov, Igor | Kossachev, Alexandre | López, Jorge | Kushik, Natalia G. | Zeghlache, Djamal | Yevtushenko, Nina V.
Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018. [S. l.], 2018. P. 358-363
Type: статьи в сборниках
Date: 2018
Description: Software Defined Networking (SDN) platforms are
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   The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs
Authors: Yenigün, Hüsnü | Yevtushenko, Nina V. | Kushik, Natalia G.
Source: Information processing letters. 2017. Vol. 127. P. 49-53
Type: статьи в журналах
Date: 2017
Description: In this paper, we address the problem of setting a deterministic Finite State Machine (FSM) to a designated initial state. Differently from other papers, we propose to use adaptive synchronizing seque ... More
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 source code optimization for interpreted languages using state models
Authors: López, Jorge | Kushik, Natalia G. | Yevtushenko, Nina V.
Source: ENASE 2016 : proceedings of the 11th International conference on evaluation of novel software approaches to software engineering, Rome, Italy, April 27-28, 2016. Setúbal, 2016. P. 282-287
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   Multimedia quality of experience
Authors: Wehbi, Bachar | Kushik, Natalia G. | Yevtushenko, Nina V. | Cavalli, Ana Rosa | Pokhrel, Jeevan
Source: Emerging research on networked multimedia communication systems. Hershey, 2015. Ch. 8. P. 250-284
Type: статьи в сборниках
Date: 2015
Description: This chapter introduces the overall concept of multimedia Quality of Experience (QoE) over the Internet.
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   Finite state models for evaluating quality of business for the over the top services
Authors: Parra, Jimmy | Cavalli, Ana | Yevtushenko, Nina V. | Kushik, Natalia G.
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 80-81
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
Add   Homing sequences for nondeterministic finite state machines: on the exponential upper bound reachability
Authors: Kushik, Natalia G.
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 8/3. С. 242-243
Type: статьи в журналах
Date: 2012
  • «
  • ←
  • 1
  • →
  • »
^