Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Інформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих систем |
| Συγγραφείς: |
Мороз, Ольга Юріївна, Moroz, O.Yu. |
| Στοιχεία εκδότη: |
Харківський національний університет імені В.Н. Каразіна |
| Έτος έκδοσης: |
2023 |
| Συλλογή: |
Kharkiv National University: Electronic Archive (eKhNUIR) |
| Θεματικοί όροι: |
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 |
| Περιγραφή: |
Дисертація присвячена верифікації паралельних програм для інформаційних управляючих систем, що є складною та важливою задачею з багатьма проблемами та викликами. ; The 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. |
| Τύπος εγγράφου: |
thesis |
| Γλώσσα: |
Ukrainian |
| 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 |
| Αριθμός Καταχώρησης: |
edsbas.D6549A06 |
| Βάση Δεδομένων: |
BASE |