Базовые инструментальные средства проектирования и верификации процессов распределенных средах / Բաշխված միջավայրերում պրոցեսների նախագծման և վերիֆիկացիայի հիմքային գործիքային միջոցներ

Loading...
Thumbnail Image

Date

Journal Title

Journal ISSN

Volume Title

Publisher

Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ

Abstract

Постоянное увеличение производительности технологических процессов изготовления интегральных схем и, одновременно, повышение сложности проектируемых объектов приводят к необходимости рассмотрения следующих ключевых факторов / Ատենախոսությունը նվիրված է բաշխված միջավայրերի օբյեկտներին կողմնորոշված մոդելում պրոցեսների նախագծման, օպտիմիզացիայի և վերիֆիկացիայի խնդիրների լուծմանը և ստացված արդյունքների հիման վրա բազային ծրագրային թաղանթի իրականացմանը

Description

Ե.13.04 «Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում» մասնագիտությամբ տեխնիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2003 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ս. Կ. Շուքուրյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Լ. Լ. Հարությունյան ; Առաջատար կազմակերպություն՝ Երևանի մաթեմատիկական մեքենաների գիտա-հետազոտական ինստիտուտ ; Սեղմագիր՝ 22 էջ։

Citation

Endorsement

Review

Supplemented By

Referenced By