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

Соискатель
Научный руководитель/Консультант
Искомая ученая степень
Кандидат наук
Дата защиты
Завершено

2010

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