Compilation-semantic verification of time-parameterized multi-parallel programs for information management systems

Συγγραφείς: Ольга Мороз

Πηγή: Вісник Харківського національного університету імені В.Н. Каразіна. Серія: Математичне моделювання, інформаційні технології, автоматизовані системи управління, Vol 56, Pp 43-50 (2022)

Θεματικοί όροι: time-parameterized multi-parallel programs, verification of parallel programs, compilation-semantic verification, semantic-numerical specifications, Mathematics, QA1-939

Περιγραφή αρχείου: electronic resource

Relation: https://periodicals.karazin.ua/mia/article/view/27690; https://doaj.org/toc/2304-6201; https://doaj.org/toc/2524-2601

Σύνδεσμος πρόσβασης: https://doaj.org/article/9dd4de68c12049758598cfa9f526a7de

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

Συγγραφείς: Мороз, Ольга Юріївна, Moroz, O.Yu.

Θεματικοί όροι: Research Subject Categories::TECHNOLOGY::Information technology, технологія верифікації, паралельні обчислювальні системи, часопараметризовані мільтипаралельні програми, верифікація паралельних програм інформаційних управляючих систем, компіляційна верифікація, декомпіляційна верифікація, семантична верифікація, методи структур семантико-числових специфікацій, методи формального синтезу, часопараметризована модель алгоритму Гауса, verification technology, parallel computing systems, time-parameterized multi-parallel programs, verification of parallel programs of information management systems, compilation verification, decompilation verification, semantic verification, methods of structures of semantic-numerical specifications, methods of formal synthesis, time-parameterized model of the Gaussian algorithm

Relation: Мороз, Ольга Юріївна. Інформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих систем : дис. . д-ра філософії : 122 – Комп’ютерні науки (Галузь знань 12 – Технічні науки) / О.Ю. Мороз. – Харків: Харківський національний університет імені В.Н. Каразіна, 2023. – 164 с.; УДК 911.5:502.15:338.49(477.54-25)(043.5); http://dspace.univer.kharkov.ua/handle/123456789/18168

Διαθεσιμότητα: http://dspace.univer.kharkov.ua/handle/123456789/18168