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

Скорочена інформація про документ
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Дисертація присвячена верифікації паралельних програм для інформаційних управляючих систем, що є складною та важливою задачею з багатьма проблемами та викликамиru_RU
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 с.ru_RU
dc.identifier.otherУДК 004.05
dc.identifier.urihttps://ekhnuir.karazin.ua/handle/123456789/18168
dc.language.isoukru_RU
dc.publisherХарків : Харківський національний університет імені В.Н. Каразінаru_RU
dc.subjectResearch Subject Categories::TECHNOLOGY::Information technologyru_RU
dc.subjectтехнологія верифікаціїru_RU
dc.subjectметоди верифікації
dc.subjectпаралельні обчислювальні системиru_RU
dc.subjectчасопараметризовані паралельні програми ru_RU
dc.subjectмільтипаралельні програми
dc.subjectрозподілені системи
dc.subjectверифікація паралельних програмru_RU
dc.subjectінформаційні управляючі системи
dc.subjectкомпіляційна верифікаціяru_RU
dc.subjectдекомпіляційна верифікаціяru_RU
dc.subjectсемантична верифікаціяru_RU
dc.subjectметоди структур семантико-числових специфікаційru_RU
dc.subjectметоди формального синтезуru_RU
dc.subjectчасопараметризована модель алгоритму Гаусаru_RU
dc.subjectverification technologyru_RU
dc.subjectverification methods
dc.subjectparallel computing systemsru_RU
dc.subjecttime-parameterized multi-parallel programsru_RU
dc.subjectdistributed systems
dc.subjectverification of parallel programsru_RU
dc.subjectinformation management systems
dc.subjectcompilation verificationru_RU
dc.subjectdecompilation verificationru_RU
dc.subjectsemantic verificationru_RU
dc.subjectmethods of structures of semantic-numerical specificationsru_RU
dc.subjectmethods of formal synthesisru_RU
dc.subjecttime-parameterized model of the Gaussian algorithmru_RU
dc.titleІнформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих системru_RU
dc.title.alternativeInformation technology for verification of parallel time-parameterized programs of information control systemsru_RU
dc.typeDissertationru_RU

Файли

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

Зараз показуємо 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
Опис:
Завантажити

Колекції

ДФ 64.051.001 – ...