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

Add to Quick Collection   All 81 Results

Showing items 61 - 75 of 81.
Sort:
 Add All Items to Quick Collection
Add   О сложности проверки существования установочных последовательностей для недетерминированных автоматов
Authors: Кушик, Наталья Геннадьевна | Кулямин, Виктор Вячеславович | Евтушенко, Нина Владимировна
Source: Программирование. 2014. № 6. С. 48-53
Type: статьи в журналах
Date: 2014
Add   Одновременный поиск нескольких двоичных шаблонов в потоке с помощью конечного автомата
Authors: Панкратов, Иван Владимирович
Source: Прикладная дискретная математика. 2014. № 2. С. 119-125
Type: статьи в журналах
Date: 2014
Add   Оценка кратности выходного символа в обратимом автомате
Authors: Катеринский, Денис Аркадьевич
Source: Прикладная дискретная математика. Приложение. 2014. № 7. С. 141-
Type: статьи в журналах
Date: 2014
Add   Параллельная композиция конечных автоматов с таймаутами
Authors: Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Кавалли, Ана Роза
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 2. С. 73-81
Type: статьи в журналах
Date: 2014
Add   Применение конечного автомата для одновременного поиска нескольких двоичных шаблонов в потоке данных
Authors: Панкратов, Иван Владимирович
Source: Прикладная дискретная математика. Приложение. 2014. № 7. С. 143-145
Type: статьи в журналах
Date: 2014
Add   Сведение решения системы параллельных автоматных неравенств к решению одного неравенства
Authors: Дарусенкова, Екатерина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 37-38
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   Об обратимости конечных автоматов с конечной задержкой
Authors: Катеринский, Денис Аркадьевич
Source: Прикладная дискретная математика. Приложение. 2013. № 6. С. 35-36
Type: статьи в журналах
Date: 2013
Add   FSM-based testing from user defined faults adapted to incremental and mutation testing
Authors: Dorofeeva, R. | Yevtushenko, Nina V. | Bochmann, G. V. | El-Fakih, K. A.
Source: Programming and computer software. 2012. Vol. 38, № 4. P. 201-209
Type: статьи в журналах
Date: 2012
Add   Использование свойств мутационных автоматов для минимизации проверяющих тестов
Authors: Эль-Факи, Калед | Евтушенко, Нина Владимировна | Дорофеева, Маргарита Юрьевна
Source: Программирование. 2012. № 4. С. 17-28
Type: статьи в журналах
Date: 2012
Add   Языки программирования, формальные грамматики, конечные автоматы и методы трансляции : учебное пособие
Authors: Горчаков, Леонид Всеволодович
Type: учебные издания
Date: 2011
Description: Загл. с экрана
Add   50 лет криптографии в Томском государственном университете
Authors: Агибалов, Геннадий Петрович
Source: Прикладная дискретная математика. 2009. № 2. С. 104-126
Type: статьи в журналах
Date: 2009
Description: Реферативный обзор результатов криптографических исследований научной школы прикладной дискретной математики Томского государственного университета за последние 50 лет.
Add   Refining specifications in adaptive testing of nondeterministic finite state machines
Authors: Petrenko, Alexandre F. | Yevtushenko, Nina V.
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2009. № 1. С. 99-114
Type: статьи в журналах
Date: 2009
Description: This paper addresses testing of nondeterministic FSMs. An implementation FSM is allowed to be less nondeterministic than its specification, so the reduction relation between machines is the conformanc ... More
Add   Недетерминированные автоматы: анализ и синтез : [учебное пособие]. Ч. 2
Authors: Евтушенко, Нина Владимировна | Рекун, М. В. | Тихомирова, Светлана Владимировна
Type: учебные издания
Date: 2009
Add   К синтезу тестов по мутационному автомату
Authors: Громов, Максим Леонидович | Дорофеева, Маргарита Юрьевна | Коломеец, Антон Владимирович
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 43-48
Type: статьи в сборниках
Date: 2006

Creator

Date

Subject

Resource Type

^