Ավտոմատ վերլուծման, օպտիմիզացիայի, ինչպես նա՚ միահոսք, բազմահոսք ՚ բաշխված ծրագրերի սինթեզի ծրագրային համալիր ռեկուրսիվ կանչերով ֆունկցիաների համակարգեր հաշվելու համար

Գիտական ղեկավար/Խորհրդատու
Հայցվող գիտական աստիճան
Գիտությունների թեկնածու
Պաշտպանության ամսաթիվ
Ավարտված

2010

Հաստատված