Метод и машина логического вывода для формальной верификации параллельных алгоритмов
Чистяков, Геннадий Андреевич, 2014, кандидатская диссертация
- 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- 05.13.15 Вычислительные машины, комплексы и компьютерные сети
С.-Петерб. гос. электротехн. ун-т (ЛЭТИ), Санкт-Петербург
22 стр.
Другие работы по этой специальности
- Обратная модель главных компонент и ее применение
Жанатауов, Сапаргали Утепович · Канд. наук
- Исследование методов многопоточной маршрутизации для обеспечения качества сетевого сервиса
Степанов, Евгений Павлович · 2022 · Канд. наук · Объединенный институт ядерных исследований
- Метод и алгоритмы назначения заданий в распределенной информационной системе Интернета вещей
Степанова, Мария Владимировна · 2022 · Канд. наук · ФГБОУ ВО «Московский государственный технический университет имени Н.Э. Баумана (национальный исследовательский университет)»
- Модели, методы и программные средства извлечения оценочных отношений на основе фреймовой базы знаний
Русначенко, Николай Леонидович · 2022 · Канд. наук · ФГБОУ ВО «Московский государственный технический университет имени Н.Э. Баумана (национальный исследовательский университет)»