Electronic Documents Search

Documents found: 2

1

Исследование архитектуры распределенного реляционного хранилища большого объёма разнородных данных: выпускная квалификационная работа магистра: направление 02.04.01 «Математика и компьютерные науки» ; образовательная программа 02.04.01_03 «Высокопроизводительные облачные вычисления и программное обеспечение роботов»

Creators	Лисенкова Анна Алексеевна
Scientific adviser	Попов Сергей Геннадьевич
Other creators	Голубева Ирина Эрнестовна
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики
Imprint	Санкт-Петербург, 2020
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	кластер; шардинг; горизонтальное масштабирование; реляционные базы данных; big data; PostgreSQL; cluster; sharding; horizontal scaling; RDBMS
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	02.04.01
Speciality group (FGOS)	020000 - Компьютерные и информационные науки
Links	http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1500-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1500-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1500-a.pdf
DOI	10.18720/SPBPU/3/2020/vr/vr20-1500
Rights	Доступ по паролю из сети Интернет (чтение)

pdf, 1.9 Mb

Верификация распределенной транзакционной памяти CUDA-DTM методом проверки модели: выпускная квалификационная работа бакалавра: направление 02.03.02 «Фундаментальная информатика и информационные технологии» ; образовательная программа 02.03.02_02 «Информатика и компьютерные науки»

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

1