Պաշտպանությունների արխիվ

Ամսաթիվ (YYYY-MM)
Jul 08 2005
Առանց տիպերի ֆունկցիոնալ ծրագրերի սեմանտիկայի մասին ՀՀ ԳԱԱ Ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում ( Ե.13.04 )
Jun 09 2005
Գերմեծ ինտեգրալ սխեմաների հատակագծման մի մոտեցման մասին Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում ( Ե.13.04 )
Jun 02 2005
Հատուկ նշանակության կառավարման ավտոմատացված համակարգերում ստուգող իմիտացիոն համակարգերի հետազոտությունը և մշակումը Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում ( Ե.13.04 )
May 19 2005
Համակարգային մակարդակի տեստային ինֆորմացիայի գեներացիայի և ինտերպրետացիայի միջավայրը չիպ-համակարգերի մոդուլային կողմնորոշված նախագծման դեպքում Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում ( Ե.13.04 )
Nov 29 2004
Սահմանափակումների միալար մշակման մոդելի կիրառությունը ինտեգրված համակարգերի նախագծման տվյալների հիքերում Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում ( Ե.13.04 )
Aug 26 2004
Տվյալների հենքերին դիմելու ինտերնետ սերվիս նախագծման մոդելների մշակում և հետազոտում Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում ( Ե.13.04 )
Aug 26 2004
XML փաստաթղթերի սխեմայի ավտոմատ գեներացում Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում ( Ե.13.04 )
Jul 15 2004
Զուգահեռ հաշվարկների համակարգերում բաշխված ընդհանուր հիշողության արդյունավետ կազմակերպում Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում ( Ե.13.04 )
Feb 26 2004
Բաշխված միջավայրերում պրոցեսների ինտերպրետացիայի, կարգավորման և անալիզի օբյեկտա-կողմնորոշված միջավայրը Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում ( Ե.13.04 )
Sep 28 2003
Լոկալ ցանցերում տվյալներին չարտոնագրված ներթափանցմանը դինամիկ հակազդեցություն իրագործող բազմագենտային համակարգ Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում ( Ե.13.04 )
Apr 03 2003
Բիզնես-պրոցեսների նախագծման և ղեկավարման գործիքային միջավայր Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում ( Ե.13.04 )
Apr 03 2003
Բաշխված միջավայրերում պրոցեսների նախագծման և վերիֆիկացիայի հիմքային գործիքային միջոցներ Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում ( Ե.13.04 )
Dec 25 2002
Չիպ համակարգերի տեստավորման և ինտեգրացման բազիսային գործիքային միջոցները մոդուլակողմնորոշված նախագծման դեպքում Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում ( Ե.13.04 )
Jun 28 2002
Օբյեկտ օրիենտացված ՏԲՂՀ-ի կազմակերպման ադապտիվ միջոցների կառուցման մեթոդներ Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում ( Ե.13.04 )
May 24 2002
Փորձագիտական համակարգերի ադապտիվ ծրագրային միջոցների կազմակերպման մեթոդների մշակում Երևանի մաթեմատիկական մեքենաների գիտահետազոտական ինստիտուտ Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում ( Ե.13.04 )