Базовые инструментальные средства проектирования и верификации процессов распределенных средах / Բաշխված միջավայրերում պրոցեսների նախագծման և վերիֆիկացիայի հիմքային գործիքային միջոցներ
Базовые инструментальные средства проектирования и верификации процессов распределенных средах / Բաշխված միջավայրերում պրոցեսների նախագծման և վերիֆիկացիայի հիմքային գործիքային միջոցներ
dc.contributor.author | Գրիգորյան, Արմեն Խաչատուրի / Grigoryan Armen | |
dc.date.accessioned | 2024-05-15T11:36:24Z | |
dc.date.available | 2024-05-15T11:36:24Z | |
dc.date.issued | 2003 | |
dc.description | Ե.13.04 «Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում» մասնագիտությամբ տեխնիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2003 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ս. Կ. Շուքուրյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Լ. Լ. Հարությունյան ; Առաջատար կազմակերպություն՝ Երևանի մաթեմատիկական մեքենաների գիտա-հետազոտական ինստիտուտ ; Սեղմագիր՝ 22 էջ։ | |
dc.description.abstract | Постоянное увеличение производительности технологических процессов изготовления интегральных схем и, одновременно, повышение сложности проектируемых объектов приводят к необходимости рассмотрения следующих ключевых факторов / Ատենախոսությունը նվիրված է բաշխված միջավայրերի օբյեկտներին կողմնորոշված մոդելում պրոցեսների նախագծման, օպտիմիզացիայի և վերիֆիկացիայի խնդիրների լուծմանը և ստացված արդյունքների հիման վրա բազային ծրագրային թաղանթի իրականացմանը | |
dc.identifier.uri | http://dspace.nla.am/handle/123456789/10535 | |
dc.language.iso | rus | |
dc.pages | Սեղմագիր՝ 22 էջ | |
dc.publication.place | Երևան | |
dc.publisher | Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ | |
dc.subject | Ինֆորմատիկա և համակարգչային համակարգեր / Informatics & Computer Systems | |
dc.title | Базовые инструментальные средства проектирования и верификации процессов распределенных средах / Բաշխված միջավայրերում պրոցեսների նախագծման և վերիֆիկացիայի հիմքային գործիքային միջոցներ | |
dc.type | Abstract | |
eperson.lastname | NT |