Электронная библиотека (репозиторий) Томского государственного университета
конечные автоматы | Громов, Максим Леонидович

Add to Quick Collection   All 4 Results

Showing items 1 - 4 of 4.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Оптимизация клиентской компоненты по критерию отсутствия лишних диалогов с сервером
Authors: Громов, Максим Леонидович | Прокопенко, Светлана Анатольевна | Сотников, Александр Павлович | Шабалдина, Наталия Владимировна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2023. № 62. С. 107-114
Type: статьи в журналах
Date: 2023
Description: Рассматривается задача оптимизации клиентской компоненты взаимодействующих по клиент-серверной архитектуре приложений. Критерием оптимизации выступает уменьшение количества взаимодействий, т.е. уточне ... More
Add   Определение временных характеристик автомата, описывающего систему "Микроконтроллер-программа"
Authors: Бабенко, Юрий Дмитриевич | Громов, Максим Леонидович
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 44
Type: статьи в сборниках
Date: 2018
Add   Проверка свойств конечных автоматов с помощью набора инструментов mCRL2
Authors: Громов, Максим Леонидович | Лапутенко, Андрей Владимирович
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 65-69
Type: статьи в журналах
Date: 2015
Add   К синтезу тестов по мутационному автомату
Authors: Громов, Максим Леонидович | Дорофеева, Маргарита Юрьевна | Коломеец, Антон Владимирович
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 43-48
Type: статьи в сборниках
Date: 2006
  • «
  • ←
  • 1
  • →
  • »
^