Skip navigation
Главная страница
Просмотр
Разделы и коллекции
Просмотр ресурсов по:
Даты выпуска
Авторы
Заголовки
Темы
Политика
Справка
Язык
русский
English
Войти
Мой архив ресурсов
Обновления на e-mail
Редактировать профиль
Архив открытого доступаСанкт-Петербургского государственного университета
DSpace at Saint Petersburg State University
Просмотр собрания по группе - Авторы Григорьев Семен Вячеславович
Перейти к:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
или введите несколько первых букв:
Сортировка:
по заголовку
по дате выпуска
по дате сохранения
Упорядочнить:
по возрастанию
по убыванию
Вывести на страницу:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Авторы:
Все
1
5
10
15
20
25
30
35
40
45
50
Результаты 2 по 15 из 15
< назад
Предварительный просмотр
Дата выпуска
Название
Автор(ы)
2017
Compiling verified F* programs to robust web applications
Полубелова Марина Игоревна; Polubelova Marina
2020
Complexity of transforming LL(k)-linear and LL(k)-linear conjunctive grammars to LL(1)-linear
Ольховский Илья Сергеевич; Olhovskij Ila Sergeevic
2021
Context-free path querying via tensor product for graph database on GPGPU
Орачев Егор Станиславович; Oracev Egor Stanislavovic
2022
Empirical study of sparse data processing using distillation and specialized hardware
Тюрин Алексей Валерьевич; Turin Aleksej Valerevic
2023
Experimental investigation of context-free-language reachability algorithms as applied to static code analysis
Кутуев Владимир Александрович; Kutuev Vladimir Aleksandrovic
2023
Fine-grained reductions around CFL-reachability
Истомина Александра Андреевна; Istomina Aleksandra Andreevna
2023
Generalized sparse linear algebra library with vendor-agnostic GPUs acceleration
Орачев Егор Станиславович; Oracev Egor Stanislavovic
2023
Implementation and experimental investigation of the GLL parser based on a recursive automaton
Абзалов Вадим Игоревич; Abzalov Vadim Igorevic
2022
Implementation of distiller for model language in Haskell
Винник Екатерина Петровна; Vinnik Ekaterina Petrovna
2021
Optimisation of a pathfinding algorithm with context-free constraints based on Kronecker product
Эпельбаум Илья Владимирович; Epelbaum Ila Vladimirovic
2017
Parsing data represented as context-free grammar
Ковалев Дмитрий Александрович; Kovalev Dmitrii
2023
Probabilistic input-driven pushdown automata
Розе Алексей Николаевич; Roze Aleksej Nikolaevic
2017
Support of extended context-free grammars in Generalised LL parsing algorithm
Горохов Артем Владимирович; Gorokhov Artem
2016
Syntax error detection in dynamically generated code
Азимов Рустам Шухратуллович; Azimov Rustam