Сompilations method and semantic verification time parameterized of multiparallel programs ; Метод компиляционно-семантической верификации времяпараметризованных мультипараллельных программ ; Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм

Συγγραφείς: Толстолузька, Олена, Толстолузький, Дмитро, Мороз, Ольга

Πηγή: Computer Science and Cybersecurity; № 4 (2016); 26-34 ; Компьютерные науки и кибербезопасность; № 4 (2016); 26-34 ; Комп’ютерні науки та кібербезпека; № 4 (2016); 26-34 ; 2519-2310

Θεματικοί όροι: Computer Science, Time parameterizing, multiparallelism, parallel programs, verification of parallel programs, compilation-semantic verification, semantic-numerical specification, Компьютерные науки, времяпараметризованные мультипараллельные программы, верификация параллельных программ, компиляционно-семантическая верификация, семантико-числовые спецификации, Комп'ютерні науки, часопараметризовані мільтипаралельні програми, верифікація паралельних програм, компіляційно-семантична верифікація, семантично-числові специфікації

Περιγραφή αρχείου: application/pdf

Relation: http://periodicals.karazin.ua/cscs/article/view/8264/9880; http://periodicals.karazin.ua/cscs/article/view/8264

Διαθεσιμότητα: http://periodicals.karazin.ua/cscs/article/view/8264