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

Add to Quick Collection   All 13 Results

Showing items 1 - 13 of 13.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Методы детектирования виртуальных машин на основе анализа CPUID, DMI и системных артефактов
Authors: Чалых, Григорий Валерьевич | Твардовский, Александр Сергеевич
Source: Информационные технологии и математическое моделирование (ИТММ-2025) : материалы XXIV Международной конференции имени А. Ф. Терпугова, 20-25 октября 2025 г.. Томск, 2025. С. 417-422
Type: статьи в сборниках
Date: 2025
Description: В целях защиты корпоративного программного обеспечения от несанкционированного копирования в виртуализированных средах предложены методы детектирования, опирающиеся на особенности работы процессора, д ... More
Add   Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 75-76
Type: статьи в сборниках
Date: 2022
Add   Эксперимент по выявлению избыточного сетевого взаимодействия Dart-реализации SMTP-клиента с сервером
Authors: Сотников, Александр Павлович | Шабалдина, Наталия Владимировна | Громов, Максим Леонидович | Прокопенко, Светлана Анатольевна | Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 70-71
Type: статьи в сборниках
Date: 2022
Add   Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов
Authors: Лапутенко, Андрей Владимирович | Винарский, Евгений Максимович | Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 74-75
Type: статьи в сборниках
Date: 2022
Add   Синтез установочных последовательностей для автоматов с таймаутами
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 138-
Type: статьи в сборниках
Date: 2020
Add   Экспериментальное исследование свойств адаптивных установочных последовательностей для недетерминированных автоматов
Authors: Винарский, Евгений Максимович | Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 141
Type: статьи в сборниках
Date: 2020
Add   К построению подавтоматов без слияний для недетерминированных конечных автоматов
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 85-86
Type: статьи в сборниках
Date: 2018
Add   Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата
Authors: Твардовский, Александр Сергеевич
Source: Труды Пятнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-19 мая 2018 г.. Томск, 2018. С. 11-13
Type: статьи в сборниках
Date: 2018
Add   Исследование свойств различающих последовательностей для двухбуквенных конечных автоматов
Authors: Твардовский, Александр Сергеевич | Кушик, Наталья Геннадьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 63-64
Type: статьи в сборниках
Date: 2016
Add   К минимизации автоматов с таймаутами
Authors: Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 62-63
Type: статьи в сборниках
Date: 2016
Add   Создание кроссплатформенной версии приложения "FSM Test-1.0"
Authors: Батрацкий, Сергей Васильевич | Белых, Виталий Сергеевич | Твардовский, Александр Сергеевич
Source: Наука. Технологии. Инновации. Ч. 2 : сборник научных трудов, г. Новосибирск, 05-09 декабря 2016 г. : в 9 ч.. Новосибирск, 2016. Ч. 2. С. 163-165
Type: статьи в сборниках
Date: 2016
Add   К минимизации автоматов с таймаутами
Authors: Твардовский, Александр Сергеевич
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 77-84
Type: статьи в сборниках
Date: 2014
Add   О минимизации временных автоматов
Authors: Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 41-42
Type: статьи в сборниках
Date: 2014
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

^