Базовые инструментальные средства проектирования и верификации процессов в распределенных средах / Բաշխված միջավայրերում պրոցեսների նախագծման և վերիֆիկացիայի հիմքային գործիքային միջոցներ / Basic toolset for design and verification of the processes in distributed environment
Базовые инструментальные средства проектирования и верификации процессов в распределенных средах / Բաշխված միջավայրերում պրոցեսների նախագծման և վերիֆիկացիայի հիմքային գործիքային միջոցներ / Basic toolset for design and verification of the processes in distributed environment
No Thumbnail Available
Date
2003
Authors
Գրիգորյան, Արմեն Խաչատուրի / Grigoryan Armen
Journal Title
Journal ISSN
Volume Title
Publisher
Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ
Abstract
Постоянное увеличение производительности технологических процессов изготовления интегральных схем и, одновременно, повышение сложности проектируемых объектов приводят к необходимости рассмотрения следующих ключевых факторов / Ատենախոսությունը նվիրված է բաշխված միջավայրերի օբյեկտներին կողմնորոշված մոդելում պրոցեսների նախագծման, օպտիմիզացիայի և վերիֆիկացիայի խնդիրների լուծմանը և ստացված արդյունքների հիման վրա բազային ծրագրային թաղանթի իրականացմանը
Description
Ե.13.04 «Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում» մասնագիտությամբ տեխնիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2003 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ս. Կ. Շուքուրյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Լ. Լ. Հարությունյան ; Առաջատար կազմակերպություն՝ Երևանի մաթեմատիկական մեքենաների գիտա- հետազոտական ինստիտուտ ; Սեղմագիր՝ 22 էջ։
Keywords
Ինֆորմատիկա և համակարգչային համակարգեր / Informatics & Computer Systems