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

Add to Quick Collection   All 11 Results

Showing items 1 - 11 of 11.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Оптимизация клиентской компоненты по критерию отсутствия лишних диалогов с сервером
Authors: Громов, Максим Леонидович | Прокопенко, Светлана Анатольевна | Сотников, Александр Павлович | Шабалдина, Наталия Владимировна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2023. № 62. С. 107-114
Type: статьи в журналах
Date: 2023
Description: Рассматривается задача оптимизации клиентской компоненты взаимодействующих по клиент-серверной архитектуре приложений. Критерием оптимизации выступает уменьшение количества взаимодействий, т.е. уточне ... More
Add   Минимизация автоматов с таймаутами и временными ограничениями
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна | Громов, Максим Леонидович
Source: Труды Института системного программирования РАН. 2017. Т. 29, вып. 4. С. 139-154
Type: статьи в журналах
Date: 2017
Description: Конечные автоматы широко используются для анализа и синтеза управляющих систем. При описании систем, поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и в ... More
Add   Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
Authors: Твардовский, Александр Сергеевич | Громов, Максим Леонидович | Евтушенко, Нина Владимировна | Эль-Факи, Калед
Source: Моделирование и анализ информационных систем. 2017. Т. 24, № 4. С. 496-507
Type: статьи в журналах
Date: 2017
Description: В настоящее время при описании поведения дискретных систем достаточно часто необходимо принимать во внимание временные аспекты, и соответственно появляется необходимость в распространении автоматных м ... More
Add   Проверка свойств конечных автоматов с помощью набора инструментов mCRL2
Authors: Громов, Максим Леонидович | Лапутенко, Андрей Владимирович
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 65-69
Type: статьи в журналах
Date: 2015
Add   Поиск простой цепи ограниченной длины в условиях динамически изменяющихся весов дуг
Authors: Громов, Максим Леонидович | Жамнов, Вадим Владимирович | Николаева, Екатерина Александровна | Матросова, Анжела Юрьевна
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 159-161
Type: статьи в журналах
Date: 2013
Add   Программный комплекс моделирования телекоммуникационной сети
Authors: Оленюк, Евгения Петровна | Громов, Максим Леонидович
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 184-186
Type: статьи в журналах
Date: 2013
Add   Экспериментальные исследования влияния логической дихотомии на скорость сколемизации булевых формул с кванторами
Authors: Шатилов, Никита Петрович | Громов, Максим Леонидович
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 174-176
Type: статьи в журналах
Date: 2013
Add   К упрощению сколемовых функций в булевых формулах с кванторами
Authors: Шатилов, Никита Петрович | Громов, Максим Леонидович
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 321-322
Type: статьи в журналах
Date: 2012
Add   Различающие эксперименты с неинициальными недетерминированными автоматами
Authors: Громов, Максим Леонидович | Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 4. С. 93-101
Type: статьи в журналах
Date: 2011
Add   Синтез условных различающих экспериментов для автоматов с недетерминированным поведением
Authors: Громов, Максим Леонидович | Евтушенко, Нина Владимировна
Source: Прикладная дискретная математика. 2009. № 4. С. 90-101
Type: статьи в журналах
Date: 2009
Add   Метод построения полного проверяющего теста для входо-выходных полуавтоматов
Authors: Громов, Максим Леонидович
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2008. № 3. С. 85-98
Type: статьи в журналах
Date: 2008
Description: В данной работе рассматривается задача нахождения полного проверяющего теста с гарантированной полнотой для входо-выходных полуавтоматов с молчанием. Решить задачу предлагается воспользовавшись извест ... More
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

^