ISSN 0236-235X (P)
ISSN 2311-2735 (E)
2

16 Июня 2024
1. Эволюция и особенности гиперконвергентных инфраструктур [№4 за 2019 год]

2. Верификация моделей систем на базе эквациональной характеристики формул CTL [№4 за 2019 год]

3. Метод трансляции первопорядковых логических формул в позитивно-образованные формулы [№4 за 2019 год]

4. Интеллектуальный сбор информации из распределенных источников [№4 за 2019 год]

5. Исследование оптимального количества процессорных ядер для алгоритма многократной маркировки перколяционных кластеров на суперкомпьютерных вычислительных системах [№4 за 2019 год]

6. Методы и средства моделирования системы управления суперкомпьютерными заданиями [№4 за 2019 год]

7. Подходы к разработке и отладке симуляторов на основе QEMU с помощью высокоуровневого языка описания архитектур PPDL [№4 за 2019 год]

8. Особенности применения предметно-ориентированных языков для тестирования веб-приложений [№4 за 2019 год]

9. Метод обнаружения веб-роботов на основе анализа графа пользовательского поведения [№4 за 2019 год]

10. Разработка импульсной нейронной сети с возможностью скоростного обучения для нейтрализации DDoS-атак [№4 за 2019 год]

| 1 | 2 | 3