Electronic Documents Search
Documents found: 5
-
Creators Ермаков Михаил Кириллович Organization Институт системного программирования РАН; "Инструменты и методы анализа 2015", научная конференция; Министерство образования и науки Российской Федерации Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2016 Collection Общая коллекция Subjects Вычислительная техника; Программирование ЭВМ. Компьютерные программы. Программотехника; инструментирование; бинарное инструментирование; бинарные файлы; ARM ELF; динамический анализ; анализ программ; исполняемый код; инструментирование файлов; системы инструментирования; трассировка данных UDC 004.41/.42 LBC 32.973-018 Document type Article, report File type PDF Language Russian DOI 10.5862/JCSTCS.236.9 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 283 Kb -
Creators Онищук Михаил Петрович Scientific adviser Ицыксон Владимир Михайлович Other creators Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects инструментирование; txl; трансформация программного кода; синтез программного кода; предметно-ориентированный язык; instrumentation; source code transformation; source code synthesis; dsl 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 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-763-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-763-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-763-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-763 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.3 Mb -
Creators Чекулаева Юлия Евгеньевна Scientific adviser Лексашов Александр Викторович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects динамический анализ; спецификация; LibSL; инструментирование; GitHub; dynamic analysis; specification; instrumentation Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2024/vr/vr24-4600 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.9 Mb -
Creators Сафонов Семён Владимирович Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects инструментирование; байт-код; анализ кода; трассировка кода; протоколирование; абстрактное синтаксическое дерево; JVM; DSL; XML; Javaparser; instrumentation; bytecode; code analysis; code tracing; logging; abstract syntax tree Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-889-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-889-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-889-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-889 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.4 Mb -
Creators Михалёва Мария Вадимовна Scientific adviser Ицыксон Владимир Михайлович Other creators Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные персональные — Библиотеки программ; Вычислительные машины электронные — Программы — Тестирование; верификация; динамический анализ; инструментирование; verification; dynamic analysis; instrumentation UDC 004.422.8; 004.415.53 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 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-693-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-693-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-693-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-693 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.5 Mb
