1. Home
  2. Proceedings
  3. CSIT
  4. CSIT 2015
Default Cover Image

2015 Computer Science and Information Technologies (CSIT)

Sept. 28 2015 to Oct. 2 2015

Yerevan, Armenia

Table of Contents

Organizing committeeFreely available from IEEE.pp. 1-1
Copyright pageFreely available from IEEE.pp. 1-1
ForewordFreely available from IEEE.pp. 1-1
Table of contentsFreely available from IEEE.pp. 1-3
E-Biothon: An experimental platform for bioinformaticsFull-text access may be available. Sign in or learn about subscription options.pp. 1-4
by Michel Dayde, Benjamin Depardon, Alain Franc, Jean-Francois Gibrat, Romaric Guilllier, Yasaman Karami, Frederic Sutter, Bruck Taddese, Marie Chabbert, Sylvie Therond
Towards deductive verification of concurrent Linux kernel code with JessieFull-text access may be available. Sign in or learn about subscription options.pp. 5-10
by Mikhail Mandrykin, Alexey Khoroshilov
Power optimization approach of ORCA processor for 32/28nm technology nodeFull-text access may be available. Sign in or learn about subscription options.pp. 11-14
by Davit Babayan
Fault collapsing for digital circuits based on relations between stuck-at faultsFull-text access may be available. Sign in or learn about subscription options.pp. 15-18
by Tigranuhi Grigoryan, Heghineh Malkhasyan, Gevorg Mushyan, Valery Vardanian
Prototyping system for USB3.0 link layer using synthesizable assertions and partial reconfigurationFull-text access may be available. Sign in or learn about subscription options.pp. 19-22
by Harutyun Krrikyan, Taron Hovhannisyan, Sergey Manukyan
Primitive recursion on higher typesFull-text access may be available. Sign in or learn about subscription options.pp. 23-32
by Stanislaw Ambroszkiewicz
Predicate transformers for local description unitsFull-text access may be available. Sign in or learn about subscription options.pp. 33-36
by Alexander A. Letichevsky, Olexandr O. Letychevskyi
On the tt-complete set which is tt-mitotic but not btt-mitoticFull-text access may be available. Sign in or learn about subscription options.pp. 37-40
by Arsen H. Mokatsian
A complete characterization of hyperidentities of the variety of weakly idempotent latticesFull-text access may be available. Sign in or learn about subscription options.pp. 41-43
by Yuri Movsisyan, Diana Davidova
Frontal cellular automata for the study of non-equilibrium lattice modelsFull-text access may be available. Sign in or learn about subscription options.pp. 44-46
by Hayk Poghosyan, Vahagn Poghosyan
Constraint satisfaction problems on specific subsets of the n-dimensional unit cubeFull-text access may be available. Sign in or learn about subscription options.pp. 47-52
by Levon Aslanyan, Hasmik Sahakyan, Hans-Dietrich Gronau, Peter Wagner
On Hamiltonian bypasses in digraphs with the condition of Y. ManoussakisFull-text access may be available. Sign in or learn about subscription options.pp. 53-63
by Samvel Kh. Darbinyan
Some properties of Hadamard matricesFull-text access may be available. Sign in or learn about subscription options.pp. 64-65
by Giorgi Giorgobiani, Vakhtang Kvaratskhelia, Marina Menteshashvili
Open problems in gossip/broadcast schemes and the possible application of the method of local interchangeFull-text access may be available. Sign in or learn about subscription options.pp. 66-70
by Vilyam Hovnanyan, Suren Poghosyan, Vahagn Poghosyan
On interval edge-colorings of bipartite graphsFull-text access may be available. Sign in or learn about subscription options.pp. 71-76
by Petros Petrosyan, Hrant Khachatrian, Tigran Mamikonyan
Method for fire and smoke detection in monitored forest areasFull-text access may be available. Sign in or learn about subscription options.pp. 77-81
by David Asatryan, Samvel Hovsepyan
Document image segmentation based on wavelet featuresFull-text access may be available. Sign in or learn about subscription options.pp. 82-84
by Valery Grishkin
Multithreaded signal preprocessing approach for inertial sensors of smartphoneFull-text access may be available. Sign in or learn about subscription options.pp. 85-89
by Sahak Kaghyan, Hakob Sarukhanyan
Efficient secure pattern search algorithmFull-text access may be available. Sign in or learn about subscription options.pp. 90-94
by Gurgen Khachatryan, Mihran Hovsepyan, Aram Jivanyan
Determination of camera displacement using image stereo pairFull-text access may be available. Sign in or learn about subscription options.pp. 95-99
by Lukas Sroba, Jan Grman
LLVM-based code clone detection frameworkFull-text access may be available. Sign in or learn about subscription options.pp. 100-104
by Arutyun Avetisyan, Shamil Kurmangaleev, Sevak Sargsyan, Mariam Arutunian, Andrey Belevantsev
A persistent surface inversion event in Armenia as simulated by WRF modelFull-text access may be available. Sign in or learn about subscription options.pp. 105-110
by Artur Gevorgyan, Hamlet Melkonyan, Rita Abrahamyan, Zarmandukht Petrosyan, Anna Shahnazaryan, Hrachya Astsatryan, Vladimir Sahakyan, Yuri Shoukorian
Programming into graphs of a new generation and the single graphical shell for all languagesFull-text access may be available. Sign in or learn about subscription options.pp. 111-115
by Igor Velbitskiy
Augmenting JavaScript JIT with ahead-of-time compilationFull-text access may be available. Sign in or learn about subscription options.pp. 116-120
by Roman Zhuykov, Vahagn Vardanyan, Dmitry Melnik, Ruben Buchatskiy, Eugeniy Sharygin
Dynamic voltage and frequency scaling for 3D Classical Spin Glass applicationFull-text access may be available. Sign in or learn about subscription options.pp. 121-124
by Hrachya Astsatryan, Hakob Abajyan, Wahi Narsisian, Georges da Costa, Tom Gurout
The GÈANT Green Team: An example of how organizations can use a community approach to promote the use of ICT in sustainability effortsFull-text access may be available. Sign in or learn about subscription options.pp. 125-127
by Albert Hankel, Hrachya Astsatryan, Wahi Narsisian
Traffic anomaly detection and DDOS attack recognition using diffusion map technologiesFull-text access may be available. Sign in or learn about subscription options.pp. 128-132
by Michael Zheludev, Evgeny Nagradov
Time-periodic quantum point interactionsFull-text access may be available. Sign in or learn about subscription options.pp. 133-136
by Taksu Cheon, Sergey Poghosyan
A theorem on higher-order differences of two-state Markov chainsFull-text access may be available. Sign in or learn about subscription options.pp. 137-138
by Ashot Shahverdian
Limitations of Agronet system in e-projects: Case study of CroatiaFull-text access may be available. Sign in or learn about subscription options.pp. 139-142
by Anton Devcic, Marko Sostar, Berislav Andrlic
Numerical solution of nonlocal contact problems for elliptic equationsFull-text access may be available. Sign in or learn about subscription options.pp. 143-147
by David Gordeziani, Tinatin Davitashvili, Hamlet Meladze
Information technologies applications for sign languages investigationsFull-text access may be available. Sign in or learn about subscription options.pp. 148-150
by Iurii Kryvonos, Iurii Krak, Waldemar Wojcik
On validity of personalized planning and integrated testing algorithms in reproducible gamesFull-text access may be available. Sign in or learn about subscription options.pp. 151-155
by Sedrak Grigoryan
Clustering of random networks under topological constraintsFull-text access may be available. Sign in or learn about subscription options.pp. 156-159
by Minas Hovhannisyan, Svetlana Avetisyan
On assessment of performance of systems by combining on-the-job and expert attributes scalesFull-text access may be available. Sign in or learn about subscription options.pp. 160-163
by Edward Pogossian
Authors indexFreely available from IEEE.pp. 164-164
Showing 40 out of 40