Electronic Documents Search
Documents found: 13
-
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 Шкуратов Николай Григорьевич Scientific adviser Амосов Владимир Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects поиск объекта на изображении; видеопоток; отстояние от камеры; программный продукт; спецификация; алгоритм; архитектура; среда разработки; инструментарий; search for an object in an image; video stream; distance from the camera; software product; specification; algorithm; architecture; development environment; tools 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/2024/vr/vr24-3959 Rights Доступ по паролю из сети Интернет (чтение) pdf, 3.8 Mb -
Creators Дроздов Никита Дмитриевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные персональные — Библиотеки программ; статический анализ; спецификация; static analysis; specification UDC 004.422.8 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2022/vr/vr22-1915 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.1 Mb
