|
Принципы построения межведомственного центра коллективного пользования общего назначения в модели программно-определяемого ЦОД
Б. М. Шабанов, О. И. Самоваров
|
7 |
|
|
Combining dynamic symbolic execution, code static analysis and fuzzing
A. Yu. Gerasimov, S. S. Sargsyan, S. F. Kurmangaleev, J. A. Hakobyan, S. A. Asryan, M. K. Ermakov
|
25 |
|
|
О новом поколении промежуточных представлений, применяемых для анализа бинарного кода
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко
|
39 |
|
|
Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев
|
69 |
|
|
Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета
А. В. Никешин, В. З. Шнитман
|
89 |
|
|
Алгоритм построения расписаний выполнения параллельных задач на группах кластеров с процессорами различной производительности и его анализ в среднем
Д. О. Лазарев, Н. Н. Кузюрин
|
105 |
|
|
О задаче эффективного управления вычислительной инфраструктурой
Д. А. Грушин, Н. Н. Кузюрин
|
123 |
|
|
Static verification for memory safety of Linux kernel drivers
A. A. Vasilyev
|
143 |
|
|
Конфигурационная сборка варианта ядра Linux для прикладных систем
С. В. Козин
|
161 |
|
|
Исследовательский поиск научных статей
Я. Р. Недумов, С. Д. Кузнецов
|
171 |
|
|
Методы анализа информационных потоков в сети Интернет
А. А. Аветисян, М. Д. Дробышевский, Д. Ю. Турдаков
|
199 |
|
|
Автоматический поиск фрагментов, содержащих биографическую информацию, в тексте на естественном языке
А. В. Глазкова
|
221 |
|
|
Система операторов для пространственно-временного анализа динамических сцен
К. С. Петрищев, В. А. Золотов, В. А. Семенов
|
237 |
|
|
Проблемно-ориентированная библиотека SOWFA для решения прикладных задач ветроэнергетики
М. В. Крапошин, С. В. Стрижак
|
259 |
|
|
Многомасштабный подход к моделированию сложных переходных процессов движения жидкостей в технических системах
М. В. Крапошин
|
275 |
|
|
Минимальный базис модуля сизигий старших членов
А. В. Шокуров
|
293 |
|
|
Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8
А. М. Водовозов, Д. С. Полетаев
|
305 |
|
|
Тестирование различных методов моделирования внутренних течений несжимаемой жидкости
В. Г. Мельникова
|
315 |
|
|
Математическая модель процесса дегазации полимерного покрытия в условиях открытого космоса
Н. А. Полибина
|
329 |
|
|
О представлении модельного времени при помощи механизмов функционального программирования
Д. В. Буздалов, А. К. Петренко, А. В. Хорошилов
|
341 |
|
|
Компонентная верификация операционных систем
В. В. Кулямин, А. К. Петренко, А. В. Хорошилов
|
367 |
