Інформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих систем

Скорочена інформація про документ
dc.contributor.authorМороз, Ольга Юріївна
dc.contributor.authorMoroz, O.Yu.
dc.date.accessioned2023-12-19T11:16:05Z
dc.date.available2023-12-19T11:16:05Z
dc.date.issued2023
dc.description.abstractДисертація присвячена верифікації паралельних програм для інформаційних управляючих систем, що є складною та важливою задачею з багатьма проблемами та викликами
dc.description.abstractThe dissertation is devoted to the development and verification of parallel programs for information management systems, which is a complex and important task with many problems and challenges
dc.identifier.citationМороз, Ольга Юріївна. Інформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих систем : дис. ... д-ра філософії : 122 – Комп’ютерні науки (Галузь знань 12 – Інформаційні технології) / О.Ю. Мороз. – Харків: Харківський національний університет імені В.Н. Каразіна, 2023. – 164 с.
dc.identifier.otherУДК 004.05
dc.identifier.urihttps://ekhnuir.karazin.ua/handle/123456789/18168
dc.language.isouk
dc.publisherХарків : Харківський національний університет імені В.Н. Каразіна
dc.subjectResearch Subject Categories::TECHNOLOGY::Information technology
dc.subjectтехнологія верифікації
dc.subjectметоди верифікації
dc.subjectпаралельні обчислювальні системи
dc.subjectчасопараметризовані паралельні програми
dc.subjectмільтипаралельні програми
dc.subjectрозподілені системи
dc.subjectверифікація паралельних програм
dc.subjectінформаційні управляючі системи
dc.subjectкомпіляційна верифікація
dc.subjectдекомпіляційна верифікація
dc.subjectсемантична верифікація
dc.subjectметоди структур семантико-числових специфікацій
dc.subjectметоди формального синтезу
dc.subjectчасопараметризована модель алгоритму Гауса
dc.subjectverification technology
dc.subjectverification methods
dc.subjectparallel computing systems
dc.subjecttime-parameterized multi-parallel programs
dc.subjectdistributed systems
dc.subjectverification of parallel programs
dc.subjectinformation management systems
dc.subjectcompilation verification
dc.subjectdecompilation verification
dc.subjectsemantic verification
dc.subjectmethods of structures of semantic-numerical specifications
dc.subjectmethods of formal synthesis
dc.subjecttime-parameterized model of the Gaussian algorithm
dc.titleІнформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих систем
dc.title.alternativeInformation technology for verification of parallel time-parameterized programs of information control systems
dc.typeDissertation

Файли

Контейнер файлів

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
ДИСЕРТАЦІЯ_PhD_МОРОЗ_О_Ю_merged_compressed.pdf
Розмір:
6,14 MB
Формат:
Adobe Portable Document Format
Завантажити

Ліцензійна угода

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
7,8 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

12 Інформаційні технології