Տեղեկատվական տեխնոլոգիաների կրթական եւ հետազոտական կենտրոն
YSU Information Technologies Educational and Research Center
ԵՊՀ տեղեկատվական տեխնոլոգիաների (SS) կրթական և հետազոտական կենտրոնը ստեղծվել է 2007 թ-ին:
>
A. Kostanyan , A. Asatryan
Usage of Invariant Molds for Verification of a Particular Class of Object-oriented Programs
2001 | Հոդված/Article
Proc. of the Conf. “Computer Science & Information Technologies”, Yerevan, Armenia, 2001, pp. 141-143
I.E.Boyakhchyan, S.K.Shoukourian
Tuning of multicomputers to specific tasks
2000 | Հոդված/Article
A Review, Proceedings of Yerevan State University, Yerevan, Armenia, , pp. 34-40, October-December 2000
S.K.Shoukourian , S.V.Baghdasaryan
Design of reliable testing systems via feeble testers
2000 | Հոդված/Article
A model and applications, Digest of papers, IEEE 4th International Workshop on System Test and Diagnosis, Atlantic City, USA, pp. 83-91, October 2000
Combination of separate processes in a distributed environment
2000 | Հոդված/Article
A case of study, Proceedings of HIGH PERFORMANCE COMPUTING‘2000, SCS International Advanced Simulation Technologies Conference ASTC’2000, USA, , pp. 280-285, April 2000
‘Improving the error detection ability of concurrent checkers by observation point insertion in the circuit under check’
2000 | Թեզիս/Thesis
DATE 2000, Design, Automation and Test in Europe, Paris, p. 762, 2000
A.Arabyan, S.Shoukourian , I.Boyakhchyan
Tuning the architecture of multi-computers to specific algorithms
1999 | Հոդված/Article
Proceedings of Joint Workshop of Iowa State University (USA) and Institute for Informatics and Automation Problems of NAS (Armenia), August 1999, Yerevan, Armenia
An approach for access differentiation design in medical distributed applications built on databases
1999 | Հոդված/Article
Proceedings of 15th European Congress on Medical Informatics, MIE ’99, Ljubljana, Slovenia, pp. 392-397, August 1999
V. A. Vardanian , L.B. Mirzoyan
‘Increasing the error detection probability of concurrent checkers by observation point insertion in the circuit under check’
1999 | Հոդված/Article
Proc. Int. Conf. CSIT’99, Yerevan, pp. 371-375, 1999
A Heuristic Search of Invariants for a Class of Programs
1999 | Հոդված/Article
Kibernetikai sistemny analiz, Kiev, Ukraine, 1999, #2, pp.14-33
A unified design methodology for off-line and on-line testing
1998 | Հոդված/Article
IEEE Design and Test of Computers, pp. 73-79, April-June, 1998