Программный комплекс автоматического анализа, оптимизации и синтеза однопоточных, многопоточных и распределенных программ для вычисления систем функций с рекурсивными вызовами / Ավտոմատ վերլուծման, օպտիմիզացիայի, ինչպես նաև միահոսք, բազմահոսք և բաշխված ծրագրերի սինթեզի ծրագրային համալիր ռեկուրսիվ կանչերով ֆունկցիաների համակարգեր հաշվելու համար / Automatic analysis, optimization and single-and multi-thread or distributed programs synthesis framework for recursive functions systems computing
Программный комплекс автоматического анализа, оптимизации и синтеза однопоточных, многопоточных и распределенных программ для вычисления систем функций с рекурсивными вызовами / Ավտոմատ վերլուծման, օպտիմիզացիայի, ինչպես նաև միահոսք, բազմահոսք և բաշխված ծրագրերի սինթեզի ծրագրային համալիր ռեկուրսիվ կանչերով ֆունկցիաների համակարգեր հաշվելու համար / Automatic analysis, optimization and single-and multi-thread or distributed programs synthesis framework for recursive functions systems computing
No Thumbnail Available
Date
2009
Authors
Ղազարյան, Արտաշես Կարենի / Ghazaryan Artashes
Journal Title
Journal ISSN
Volume Title
Publisher
ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ
Abstract
в данной работе представлены основные алгоритмы и подходы оптимизатора- синтезатора GAROS (Graph Analyzer - Recursive Optimizer-Synthesizer), который синтезирует программы, вычисляющие системы функций с возможными рекурсивными и взаимными вызовами / Սույն աշխատանքում ներկայացված են GAROS (Graph Analyzer - Recursive Optimizer-Synthesizer) օպտիմիջատոր-սինթեզատորի հիմնական ալգորիթմներն ու մոտեցումները, որոնք սինթեզում են հնարավոր ռեկուրսիվ ու փոխադարձ կանչերով ֆունկցիաների համակարգերը հաշվող ծրագրեր
Description
Ե.13.05 «Մաթեմատիկական մոդելավորում, թվային մեթոդներ եւ ծրագրերի համալիրներ» մասնագիտությամբ տեխնիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2009 ; Ատենախոսության թեման հաստատվել է ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտում ; Գիտական ղեկավար՝ Հ. Բ. Մարանջյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Հ. Հարությունյան, Ն. Կ. Խաչատրյան ; Առաջատար կազմակերպություն՝ Երևանի ավտոմատ կառավարման համակարգերի գիտահետազոտակ ինստիտուտ (ԵրԱԿՀԳՀԻ) ; Սեղմագիր՝ 18 էջ։
Keywords
Ինֆորմատիկա և համակարգչային համակարգեր / Informatics & Computer Systems