The Community for Technology Leaders
2013 Computer Science and Information Technologies (CSIT) (2013)
Yerevan, Armenia
Sept. 23, 2013 to Sept. 27, 2013
ISBN: 978-1-4799-2460-8
TABLE OF CONTENTS

Front cover (PDF)

pp. 1

Front cover (PDF)

pp. 1

[Title page] (PDF)

pp. 1-3

Foreword (PDF)

pp. 1

High Performance Computing: A tool to foster European competitiveness (Abstract)

Catherine Riviere , Chair of the Partnership for Advance Computing in Europe (PRACE) Council
pp. 1-2

Test solutions for nanoscale Systems-on-Chip: Algorithms, methods and test infrastructure (Abstract)

Yervant Zorian , Synopsys, 700 EastMiddlefield Road, Mountain View, CA 94043-4033
Samvel Shoukourian , Yerevan State University 1. AManoogian Street, Yerevan 0025, Armenia
pp. 1-3

SAT-based approaches to verification of logical descriptions with functional indeterminacy (Abstract)

Liudmila D. Cheremisinova , United Institute of Informatics Problems of NAS of Belarus Minsk, Belarus
pp. 1-10

A quick power consumption estimation method for RTL compilers (Abstract)

Lusine Martirosyan , Computer Systems and Informatics, State Engineering University of Armenia, Yerevan, Armenia
pp. 1-5

NMOS/PMOS resistance calibration method using reference frequency (Abstract)

Vazgen Melikyan , Synopsys Armenia CJSC Yerevan, Armenia
Abraham Balabanyan , Synopsys Armenia CJSC Yerevan, Armenia
Artak Hayrapetyan , Synopsys Armenia CJSC Yerevan, Armenia
Armen Durgaryan , Synopsys Armenia CJSC Yerevan, Armenia
pp. 1-6

Data — Clock setup and hold times margins correction method in high speed serial links (Abstract)

Vazgen Sh Melikyan , Dept. of Microelectron. Circuits & Syst., State Eng. Univ. of Armenia, Yerevan, Armenia
Arthur S. Sahakyan , Synopsys Armenia Educ. Dept., VLSI Design Specialization, Yerevan, Armenia
Aram H. Shishmanyan , Dept. of Microelectron. Circuits & Syst., State Eng. Univ. of Armenia, Yerevan, Armenia
Nazeli V. Melikyan , Dept. of Microelectron. Circuits & Syst., State Eng. Univ. of Armenia, Yerevan, Armenia
Grigor Y. Zargaryan , Dept. of Microelectron. Circuits & Syst., State Eng. Univ. of Armenia, Yerevan, Armenia
pp. 1-5

Invariants in symbolic modeling and verification of requirements (Abstract)

Alexander Letichevsky , V.M. Glushkov Institute of Cybernetics, Kiev, Ukraine
Alexander Godlevsky , V.M. Glushkov Institute of Cybernetics, Kiev, Ukraine
Anton Guba , V.M. Glushkov Institute of Cybernetics, Kiev, Ukraine
Alexander Kolchin , V.M. Glushkov Institute of Cybernetics, Kiev, Ukraine
Oleksandr Letychevskyi , V.M. Glushkov Institute of Cybernetics, Kiev, Ukraine
Vladimir Peschanenko , Kherson State University, Kherson, Ukraine
pp. 1-6

On the existence of the tt-mitotic Low Set, which is not btt-mitotic (Abstract)

Arsen H. Mokatsian , Institute for Informatics and Automation Problems of NASRA Yerevan, Armenia
pp. 1-4

On computation of De Morgan and quasi-De Morgan functions (Abstract)

Yuri M. Movsisyan , Yerevan State University Yerevan, Armenia
Vahagn A. Aslanyan , Yerevan State University Yerevan, Armenia
pp. 1-6

On the logical semantics of the symmetric constructive logic based on the properties of recursively enumerable sets (Abstract)

Igor D. Zaslavsky , Institute of Informatics and Automation Problems of NASRA Yerevan, Armenia
pp. 1-6

On the optimality of the hash-coding type nearest neighbour search algorithm (Abstract)

Levon H. Aslanyan , Institute for Informatics and Automation Problems of NAS RA Yerevan, Armenia
H. E. Danoyan , Institute for Informatics and Automation Problems of NAS RA Yerevan, Armenia
pp. 1-6

A note on long non-hamiltonian cycles in one class of Digraphs (Abstract)

Samvel Kh. Darbinyan , Institute for Informatics and Automation Problems of NAS RA Yerevan, Armenia
Iskandar A. Karapetyan , Institute for Informatics and Automation Problems of NAS RA Yerevan, Armenia
pp. 1-6

Broadcasting in the Kno¨del graph (Abstract)

Hayk Grigoryan , Department of Computer Science and Software Engineering Concordia University Montreal, Quebec, Canada H3G 1M8
Hovhannes A. Harutyunyan , Department of Computer Science and Software Engineering Concordia University Montreal, Quebec, Canada H3G 1M8
pp. 1-6

Indivisible lines in the space of discrete geometries (Abstract)

Yuri G. Grigoryan , European Regional Educational Academy Yerevan, Armenia
pp. 1-4

On interval edge-colorings of complete tripartite graphs (Abstract)

Andrzej Grzesik , Jagiellonian University, Krakow, Poland
Hrant Khachatrian , Yerevan State University, Yerevan, Armenia
pp. 1-3

New methods of construction of fault-tolerant gossip graphs (Abstract)

Vilyam Hovnanyan , Institute for Informatics and Automation Problems of NAS RA Yerevan, Armenia
Vahagn Poghosyan , Institute for Informatics and Automation Problems of NAS RA Yerevan, Armenia
Suren Poghosyan , Institute for Informatics and Automation Problems of NAS RA Yerevan, Armenia
pp. 1-5

(0,1)-Matrices with different rows (Abstract)

Hasmik Sahakyan , Institute for Informatics and Automation Problems of NAS RA Yerevan, Armenia
pp. 1-7

On the Shannon cipher system with distortion and guessing wiretapper eavesdropping through a noisy channel (Abstract)

Tigran Margaryan , Institute for Informatics and Automation Problems of NAS of RA Yerevan, Armenia
Evgueni Haroutunian , Institute for Informatics and Automation Problems of NAS of RA Yerevan, Armenia
pp. 1-7

Reconstruction of quantum information after the measurement (Abstract)

Sergey Poghosyan , Laboratory of Physics, Kochi University of Technology Tosa Yamada, Kochi 782-8502, Japan
Taksu Cheon , Laboratory of Physics, Kochi University of Technology Tosa Yamada, Kochi 782-8502, Japan
pp. 1-5

Inversion in finite fields with the aid of Hankel polynomials (Abstract)

Alexei Yu. Uteshev , St. Petersburg State University St. Petersburg, Russia
Ivan Baravy , St. Petersburg State University St. Petersburg, Russia
pp. 1-6

A gate model of emotional learning (Abstract)

Suren Khachatryan , College of Science and Engineering, American University of Armenia Yerevan, Armenia
Khosrov Grigoryan , College of Science and Engineering, American University of Armenia Yerevan, Armenia
pp. 1-8

On adequate and constructive models of processing of meanings (Abstract)

Edward Pogossian , Cognitive Algorithms and Models Laboratory of the Institute for Informatics and Automation Problems of NAS RA, State Engineering University of Armenia, Yerevan, Armenia
pp. 1-12

A model of a high level chess concept "beautiful mate" (Abstract)

Vachagan Vahradyan , The Institute for Informatics and Automation Problems of NAS RA, Institute of mathematics and high technology of Russian-Armenian (Slavonic) University, Yerevan, Armenia
pp. 1-6

On knowledge-based gene expression data analysis (Abstract)

Arsen Arakelyan , Institute of Molecular Biology, Yerevan, Armenia
Levon Aslanyan , Institute for Informatics and Automation Problems of NAS RA, Yerevan, Armenia
Anna Boyajyan , Institute of Molecular Biology, Yerevan, Armenia
pp. 1-6

Method for detection of image tampering and partial recovery (Abstract)

David Asatryan , Institute for Informatics and Automation Problems of NAS RA, Yerevan, Armenia
Naira Asatryan , Research Center for Critical Technologies of Russian-Armenian (Slavonic) University 123, Hovsep Emin Str, 0051, Yerevan, Armenia
Natalya Lanina , Research Center for Critical Technologies of Russian-Armenian (Slavonic) University 123, Hovsep Emin Str, 0051, Yerevan, Armenia
Alexander Petrosyan , Research Center for Critical Technologies of Russian-Armenian (Slavonic) University 123, Hovsep Emin Str, 0051, Yerevan, Armenia
pp. 1-6

Accelerometer and GPS sensor combination based system for human activity recognition (Abstract)

Sahak Kaghyan , Armenian-Russian (Slavonic) University
Hakob Sarukhanyan , Institute for Informatics and Automation Problems of NAS of RA
pp. 1-9

Automatic detection and concealment of specular reflections for endoscopic images (Abstract)

Gevorg Karapetyan , Institute for Informatics and Automation Problems of NAS RA, Yerevan, Armenia
Hakob Sarukhanyan , Institute for Informatics and Automation Problems of NAS RA, Yerevan, Armenia
pp. 1-8

Alignment-free fuzzy vault scheme for fingerprints (Abstract)

Gurgen Khachatryan , American University of Armenia, Yerevan, Armenia
Aram Jivanyan , American University of Armenia, Yerevan, Armenia
Hovik Khasikyan , American University of Armenia, Yerevan, Armenia
pp. 1-6

A multimodal biometric system based on fingerprint and signature recognition (Abstract)

Davit Kocharyan , Institute for Informatics and Automation Problems of NAS RA Yerevan, Armenia
Vahe Khachaturyan , Institute for Informatics and Automation Problems of NAS RA Yerevan, Armenia
Hakob Sarukhanyan , Institute for Informatics and Automation Problems of NAS RA Yerevan, Armenia
pp. 1-7

Muscle-based skeletal bipedal locomotion using neural evolution (Abstract)

Artyom Topchyan , Technical University of Munich, Munich, Germany
Tigran Topchyan , Yerevan State University, Yerevan, Armenia
pp. 1-6

Towards exascale with the ANR-JST Japanese-French Project FP3C (Abstract)

G. Antoniu , INRIA Rennes
T. Boku , University of Tsukuba
A. Buttari , IRIT/CNRS -University of Toulouse / INPT
C. Calvin , CEA/DEN/DANS/DM2S, CEA Saclay
P. Codognet , Japanese - French Laboratory on Informatics
M. Dayde , IRIT/CNRS - University of Toulouse/INPT
N. Emad , PRISM/CNRS - University of Versailles
Y. Ishikawa , University of Tokyo
G. Joslin , IRIT/CNRS -University of Toulouse / INPT
S. Matsuoka , Tokyo Institute of Technology
K. Nakajima , University of Tokyo
H. Nakashima , University of Kyoto
R. Namyst , INRIA Bordeaux
S. Petiton , INRIA Saclay
T. Sakurai , University of Tsukuba
M. Sato , University of Tsukuba
pp. 1-10

Virtual private supercomputer: Design and evaluation (Abstract)

Ivan Gankevich , Saint Petersburg State University 7-9 Universitetskaia nab., Saint Petersburg, 199034, Russia
Vladimir Gaiduchok , Saint Petersburg State University 7-9 Universitetskaia nab., Saint Petersburg, 199034, Russia
Dmitry Gushchanskiy , Saint Petersburg State University 7-9 Universitetskaia nab., Saint Petersburg, 199034, Russia
Yuri Tipikin , Saint Petersburg State University 7-9 Universitetskaia nab., Saint Petersburg, 199034, Russia
Vladimir Korkhov , Saint Petersburg State University 7-9 Universitetskaia nab., Saint Petersburg, 199034, Russia
Alexander Degtyarev , Saint Petersburg State University 7-9 Universitetskaia nab., Saint Petersburg, 199034, Russia
Alexander Bogdanov , Saint Petersburg State University 7-9 Universitetskaia nab., Saint Petersburg, 199034, Russia
Valeriy Zolotarev , Saint Petersburg State University 7-9 Universitetskaia nab., Saint Petersburg, 199034, Russia
pp. 1-6

An Automatic tool for tuning compiler optimizations (Abstract)

Dmitry Plotnikov , ISP RAS Moscow, Russia
Dmitry Melnik , ISP RAS Moscow, Russia
Mamikon Vardanyan , ISP RAS Moscow, Russia
Ruben Buchatskiy , ISP RAS Moscow, Russia
Roman Zhuykov , ISP RAS Moscow, Russia
pp. 1-7

E-Infrastructures in Armenia: Virtual research environments (Abstract)

Yuri H. Shoukourian , Institute for Informatics and Automation Problems of NAS of RA Yerevan, Armenia
Vladimir G. Sahakyan , Institute for Informatics and Automation Problems of NAS of RA Yerevan, Armenia
Hrachya V. Astsatryan , Institute for Informatics and Automation Problems of NAS of RA Yerevan, Armenia
pp. 1-7

Combined approach to solving problems in binary code analysis (Abstract)

Alexander Getman , Institute for System Programming of the Russian Academy of Sciences (ISP RAS), Moscow, Russia
Vartan Padaryan , Institute for System Programming of the Russian Academy of Sciences (ISP RAS), Moscow, Russia
Mikhail Solovyev , Institute for System Programming of the Russian Academy of Sciences (ISP RAS), Moscow, Russia
pp. 1-6

Performance optimizations in an LLVM-based cloud application store (Abstract)

Viktor Ivanikov , Institute for System Programming of the Russian Academy of Sciences (ISP RAS), Moscow, Russia
Shamil Kurmangaleev , Institute for System Programming of the Russian Academy of Sciences (ISP RAS), Moscow, Russia
Andrey Belevantsev , Institute for System Programming of the Russian Academy of Sciences (ISP RAS), Moscow, Russia
Arutyun Avetisyan , Institute for System Programming of the Russian Academy of Sciences (ISP RAS), Moscow, Russia
pp. 1-5

Optimal node scheduling for integrated connected-coverage in wireless sensor networks (Abstract)

Levon Aslanyan , Institute for Informatics and Automation Problems of NAS RA Yerevan, 0014, Armenia
Hakob Aslanyan , Institute for Informatics and Automation Problems of NAS RA Yerevan, 0014, Armenia
Hamid Khosravi , Institute for Informatics and Automation Problems of NAS RA Yerevan, 0014, Armenia
pp. 1-13

Getting serious about integrating decision support mechanisms into Geographic Information Systems (Abstract)

Jonathan Frez , School of Informatics and Telecommunication, Universidad Diego Portales, Vergara 435, Santiago, Chile
Nelson Baloian , Department of Computer Science, Universidad de Chile, Blanco Encalada 2120, Santiago, Chile
Gustavo Zurita , Department of Management Control and Information Systems, Faculty of Economics and Business, Universidad de Chile, Diagonal Paraguay 257, Santiago, Chile
pp. 1-11

Development of electronic training materials at the Institute for Computer Science and Control, Hungarian Academy of Sciences (Abstract)

Zsolt Laszlo Markus , eLearning Department, Institute for Computer Science and Control, Hungarian Academy of Sciences Kende u. 13-17, H-1111 Budapest, Hungary
Tibor Szkaliczki , eLearning Department, Institute for Computer Science and Control, Hungarian Academy of Sciences Kende u. 13-17, H-1111 Budapest, Hungary
Gyorgy Szanto , eLearning Department, Institute for Computer Science and Control, Hungarian Academy of Sciences Kende u. 13-17, H-1111 Budapest, Hungary
pp. 1-11

High speed water monitoring systems based on Digital Holographic Microscopy (Abstract)

Laszlo Orzo , Cellular Sensory and Optical Wave Computing Laboratory, MTA SZTAKI 1111, Kende u. 13-17, Budapest, Hungary
Balazs Wittner , Cellular Sensory and Optical Wave Computing Laboratory, MTA SZTAKI 1111, Kende u. 13-17, Budapest, Hungary
Szabolcs Tokes , Cellular Sensory and Optical Wave Computing Laboratory, MTA SZTAKI 1111, Kende u. 13-17, Budapest, Hungary
pp. 1-9

Components in model-based software development (Abstract)

Enn Tyugu , Institute of Cybernetics, Tallinn University of Technology Akadeemia tee 21, Tallinn 12618, Estonia
Pavel Grigorenko , Institute of Cybernetics, Tallinn University of Technology Akadeemia tee 21, Tallinn 12618, Estonia
pp. 1-8

Graphical programming and program correctness proof (Abstract)

Igor V. Velbitskiy , The Glushkov's Fund, 2, Mikhailivska str., of. 17, Ukraine, 01001Kiev
pp. 1-8

Author index (PDF)

pp. 1-2
92 ms
(Ver 3.3 (11022016))