Бюрократы, editor, nsBadRO, nsBadRW, nsDraftRO, nsDraftRW, reviewer, Администраторы
158 527
правок
Изменения
Новая страница: «{{Персона | name-ru-main =Мартиросян Ваграм Артурович | name-ru-01 = | name-ru-02 = | name-ru-03 = | name-lat = | name-en ...»
{{Персона
| name-ru-main =Мартиросян Ваграм Артурович
| name-ru-01 =
| name-ru-02 =
| name-ru-03 =
| name-lat =
| name-en =Vahram Martirosyan
| name-am =
| name-fr =
| состояние текста = 1
| состояние поиска = 1
| состояние тэгов = 1
| состояние ссылок = 1
| флаг чистовик =
| автокартинки =
| портрет =
| дата рождения =
| место рождения =
| дата смерти =
| место смерти =
| краткая информация =к.ф.-м.н.
| тэг01 =
| тэг02 =
| тэг03 =
| тэг04 =
| тэг05 =
}}
=Биография=
==Сочинения==
Programming in GNU/Linux Environment: from the system calls to the GUI (in Russian)
RAU Publishing December 1, 2010
Authors: Vahram Martirosyan, PhD
Page2Basics of programming in OS Linux environment (in Russian)
MIPT April 4, 2011
Authors: Vahram Martirosyan, PhD, Vladimir Rubanov, Eugene Shatokhin
Linux Programming basics (tools, POSIX), programming with GTK+ and QT
Jinnetic Engineering (in Armenian)
Richard Stallman December 25, 2010
Authors: Vahram Martirosyan, PhD, Richard Stallman
Translation of the Richard Stallman's story "Jinnetic Engineering" into Armenian.
X2C - XML To Code: Advantages of standarts.
Forth scientific annual conference of RAU. December 2009
Authors: Vahram Martirosyan, PhD, Suren Gishyan
X2C is an XML-based language, which can be used by a template engine in test generation process. In this
paper that language is introduced.
Dynamic Verification of Linux File System Drivers
CSIT 2011 September 2011
Authors: Vahram Martirosyan, PhD, Eugene Shatokhin, Suren Gishyan
The introduction to the Spruce system - a Linux file system verification system.
The Spruce System: quality verification of Linux file system drivers
SYRCoSE 2012 May 2012
Authors: Vahram Martirosyan, PhD, Karen Tsirunyan, Andrew Tsyvarev
A report on the Spruce system: current state and future developments.
==Достижения==
==Изображения==
=Библиография=
| name-ru-main =Мартиросян Ваграм Артурович
| name-ru-01 =
| name-ru-02 =
| name-ru-03 =
| name-lat =
| name-en =Vahram Martirosyan
| name-am =
| name-fr =
| состояние текста = 1
| состояние поиска = 1
| состояние тэгов = 1
| состояние ссылок = 1
| флаг чистовик =
| автокартинки =
| портрет =
| дата рождения =
| место рождения =
| дата смерти =
| место смерти =
| краткая информация =к.ф.-м.н.
| тэг01 =
| тэг02 =
| тэг03 =
| тэг04 =
| тэг05 =
}}
=Биография=
==Сочинения==
Programming in GNU/Linux Environment: from the system calls to the GUI (in Russian)
RAU Publishing December 1, 2010
Authors: Vahram Martirosyan, PhD
Page2Basics of programming in OS Linux environment (in Russian)
MIPT April 4, 2011
Authors: Vahram Martirosyan, PhD, Vladimir Rubanov, Eugene Shatokhin
Linux Programming basics (tools, POSIX), programming with GTK+ and QT
Jinnetic Engineering (in Armenian)
Richard Stallman December 25, 2010
Authors: Vahram Martirosyan, PhD, Richard Stallman
Translation of the Richard Stallman's story "Jinnetic Engineering" into Armenian.
X2C - XML To Code: Advantages of standarts.
Forth scientific annual conference of RAU. December 2009
Authors: Vahram Martirosyan, PhD, Suren Gishyan
X2C is an XML-based language, which can be used by a template engine in test generation process. In this
paper that language is introduced.
Dynamic Verification of Linux File System Drivers
CSIT 2011 September 2011
Authors: Vahram Martirosyan, PhD, Eugene Shatokhin, Suren Gishyan
The introduction to the Spruce system - a Linux file system verification system.
The Spruce System: quality verification of Linux file system drivers
SYRCoSE 2012 May 2012
Authors: Vahram Martirosyan, PhD, Karen Tsirunyan, Andrew Tsyvarev
A report on the Spruce system: current state and future developments.
==Достижения==
==Изображения==
=Библиография=
