|
Современные методы аспектно-ориентированного анализа эмоциональной окраски
И. А. Андрианов, В. Д. Майоров, Д. Ю. Турдаков
|
5 |
|
|
Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей
Д. А. Грушин, Н. Н. Кузюрин
|
23 |
|
|
Implementing Apache Spark jobs execution and Apache Spark cluster creation for OpenStack Sahara
A. Aleksiyants, O. Borisenko, D. Turdakov, A. Sher, S. Kuznetsov
|
35 |
|
|
Метод тестирования производительности и стресс-тестирования центральных сервисов идентификации облачных систем на примере Openstack Keystone
И. В. Богомолов, А. В. Алексиянц, А. В. Шер, О. Д. Борисенко, А. И. Аветисян
|
49 |
|
|
Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя
В. К. Кошелев, И. А. Дудина, В. Н. Игнатьев, А. И. Борзилов
|
59 |
|
|
Метод легковесного статического анализа для поиска состояний гонок
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов
|
87 |
|
|
Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях
М. У. Мандрыкин, В. С. Мутилин
|
117 |
|
|
Использование языка программирования Python для описания ограничений на архитектурные модели
Е. В. Корныхин, А. В. Хорошилов
|
143 |
|
|
Использование симуляции сбоев при тестировании компонентов ядра ОС Linux
А. В. Цыварев, А. В. Хорошилов
|
157 |
|
|
Об интеграции формальных методов в задачах верификации операционных систем
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов
|
175 |
|
|
Approximating chromatic sum coloring of bipartite graphs in expected polynomial time
A. S. Asratyan, N. N. Kuzyurin
|
191 |
