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

Соискатель
Научный руководитель/Консультант
Искомая ученая степень
Кандидат наук
Специальность
Մաթեմատիկական մոդելավորում, թվային մեթոդներ և ծրագրերի համալիրներ
Ե.13.05
Дата защиты
Завершено

2010

Подтверждено