Electronic Documents Search
Documents found: 3
-
Creators Варламов Дмитрий Андреевич Scientific adviser Никифоров Игорь Валерьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects мониторинг; метрики; доступность; надежность; стабильность; информационно-технологическая инфраструктура; отключение; информационные панели; monitoring; metrics; availability; reliability; stability; IT infrastructure; outage; dashboards Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.04 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2023/vr/vr23-3914 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Варламов Дмитрий Андреевич Scientific adviser Шошмина Ирина Владимировна Other creators Локшина Екатерина Геннадиевна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects cuda-dtm; транзакционная память; формальная верификация; метод проверки моделей; спецификация; кластер; графический процессор; transactional memory; formal verification; model checking; specification; cluster; graphics processing unit Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 02.03.02 Speciality group (FGOS) 020000 - Компьютерные и информационные науки Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-3209-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-3209-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-3209 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.8 Mb -
Creators Никифоров Игорь Валерьевич; Юсупова Ольга Андреевна; Воинов Никита Владимирович; Ковалев Артем Дмитриевич; Ткачук Андрей Сергеевич; Варламов Дмитрий Андреевич; Гераськин Евгений Вадимович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий. Высшая школа программной инженерии Imprint Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2023 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Информация — Обработка на вычислительных машинах UDC 004.04(075.8) Document type Tutorial File type PDF Language Russian Speciality code (FGOS) 09.00.00 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/2/id23-74 Rights Доступ по паролю из сети Интернет (чтение, печать) pdf, 22 Mb
