|
Векторные модели на основе символьных н-грамм для морфологического анализа текстов
Ц. Г. Гукасян
|
7 |
|
|
Assessing the quality of the requirements specification by applying GQM approach and using NLP tools
E. V. Timoshchuk
|
15 |
|
|
Application of machine learning technology to analyze the probability of winning a tender for a project
N. B. Kultin, D. N. Kultin, R. V. Bauer
|
29 |
|
|
Comparative analysis of homomorphic encryption algorithms based on learning with errors
M. G. Babenko, E. I. Golimblevskaia, E. M. Shiriaev
|
37 |
|
|
Test environment for verification of multi-processor interrupt system with virtualization support
D. A. Lebedev, V. N. Kutsevol
|
53 |
|
|
Implementation of memory subsystem of cycle-accurate application-level simulator of the Elbrus microprocessors
P. A. Poroshin, D. V. Znamenskiy, A. N. Meshkov
|
61 |
|
|
Исследование технологии RISC-V
В. А. Фролов, В. А. Галактионов, В. В. Санжаров
|
81 |
|
|
Hard drives monitoring automation approach for Kubernetes container orchestration system
A. S. Shemyakinskaya, I. V. Nikiforov
|
99 |
|
|
Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT
Р. Ф. Садыков, М. У. Мандрыкин
|
107 |
|
|
On reduced forms of initialized Finite State Machines with timeouts
A. S. Tvardovskii, N. V. Yevtushenko
|
125 |
|
|
Модификация алгоритма Валианта для задачи поиска подстрок
Ю. А. Сусанина, А. Н. Явейн, С. В. Григорьев
|
135 |
|
|
HP-graph as a basis of a DSM platform visual model editor
N. M. Suvorov, L. N. Lyadova
|
149 |
|
|
Платформа автоматического фаззинга программного интерфейса приложений
С. С. Саргсян, В. Г. Варданян, Д. А. Акопян, А. М. Агабалян, М. С. Меграбян, Ш. Ф. Курмангалеев, А. Ю. Герасимов, М. К. Ермаков, С. П. Вартанов
|
161 |
|
|
Analysis of Russian software supporting onboard systems development lifecycle in context of import substitution policy
N. K. Gorelits, A. S. Gukova, D. V. Krasnoschekov
|
175 |
