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

Authors: Ольга Мороз

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

Subject Terms: time-parameterized multi-parallel programs, verification of parallel programs, compilation-semantic verification, semantic-numerical specifications, Mathematics, QA1-939

File Description: electronic resource

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

Access URL: https://doaj.org/article/9dd4de68c12049758598cfa9f526a7de

Тechnology of semantic-numerical verification of time-parameterized parallel programs for information and control systems

Authors: Ольга Мороз

Source: Вісник Харківського національного університету імені В.Н. Каразіна. Серія: Математичне моделювання, інформаційні технології, автоматизовані системи управління, Vol 55, Pp 32-37 (2022)

Subject Terms: parallel programming technologies, parallel computing systems, time-parameterized multi-parallel program, verification technology model, semantic-numerical verification technology, Mathematics, QA1-939

File Description: electronic resource

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

Access URL: https://doaj.org/article/924953bc33c1417186cef2f6c90e831e

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

Authors: Мороз, Ольга Юріївна, Moroz, O.Yu.

Subject Terms: 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

Availability: http://dspace.univer.kharkov.ua/handle/123456789/18168

Web Technologies and Applications

Authors: Quan Z. Sheng, Guoren Wang, Christian S. Jensen, Guandong Xu

Resource Type: eBook.

Subjects: Conference papers and proceedings, World Wide Web--Congresses, Web services--Congresses, Internet--Congresses, Application software--Development--Congresses

Categories: COMPUTERS / Data Science / Data Analytics, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Database Administration & Management, COMPUTERS / System Administration / Storage & Retrieval, COMPUTERS / Networking / General, MATHEMATICS / Probability & Statistics / General