|
|
Публикации в базе данных Math-Net.Ru
-
A method for modeling of individual agent behavior in the process-network paradigm of discrete-event simulation
Информатика, телекоммуникации и управление, 18:1 (2025), 23–35
-
Improving image analysis and processing performance on the RISC-V platform with Lichee Pi 4A
Труды ИСП РАН, 37:5 (2025), 157–172
-
Algorithm for monitoring and improving the stability of the it infrastructure based on availability and reliability metrics
Информатика, телекоммуникации и управление, 17:2 (2024), 24–37
-
Методика автоматизации зарядки электромобиля на базе контроллера Raspberry Pi с использованием нейронных сетей
Информатика, телекоммуникации и управление, 15:4 (2022), 37–50
-
Automated object storage management approach with operator SDK and custom resource definition
Труды ИСП РАН, 34:2 (2022), 123–134
-
High performance distributed web-scraper
Труды ИСП РАН, 33:3 (2021), 87–100
-
Analysis of student activity on the e-learning course based on «openedu» platform logs
Труды ИСП РАН, 32:3 (2020), 91–99
-
Hardware and software data processing system for research and scientific purposes based on Raspberry Pi 3 microcomputer
Труды ИСП РАН, 32:3 (2020), 57–69
-
Hard drives monitoring automation approach for Kubernetes container orchestration system
Труды ИСП РАН, 32:2 (2020), 99–106
-
Conversion of abstract behavioral scenarios into scenarios applicable for testing
Труды ИСП РАН, 28:3 (2016), 145–160
-
Model oriented approach for industrial software development
Модел. и анализ информ. систем, 22:6 (2015), 750–762
-
Анализ покрытия UCM-модели тестовыми сценариями
Системы и средства информ., 25:1 (2015), 74–88
-
Генерация тестового набора на основе потока управления
Системы и средства информ., 25:1 (2015), 54–73
-
Method of symbolic test scenarios automated concretization
Труды ИСП РАН, 27:3 (2015), 115–124
-
Инкрементальный подход к технологии создания тестов для индустриальных проектов
Модел. и анализ информ. систем, 21:6 (2014), 144–154
-
Подход к автоматизации отладки поведенческих сценариев
Модел. и анализ информ. систем, 21:6 (2014), 44–56
-
Подход к тестированию параллельных систем на основе UCM-спецификаций
Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 3(198), 85–91
-
Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений
Тр. СПИИРАН, 26 (2013), 349–383
-
Системы управления испытаниями на широкополосную случайную вибрацию (ШСВ): два подхода к синтезу алгоритмов
Автомат. и телемех., 1995, № 11, 7–30
-
Об оптимальности первого порядка алгоритма обнаружения разладки в векторном случае
Автомат. и телемех., 1994, № 1, 87–105
-
Модификация и исследование процедуры кумулятивных сумм
Автомат. и телемех., 1980, № 9, 74–80
-
Применение кумулятивных сумм для обнаружения изменения характеристик случайного процесса
Автомат. и телемех., 1979, № 2, 48–58
-
Применение последовательного анализа к процессам авторегрессии
Автомат. и телемех., 1975, № 8, 174–177
© , 2026