Sistemy i Sredstva Informatiki [Systems and Means of Informatics]
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Sistemy i Sredstva Inform.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


2010, Volume 20, Issue 3  

Issue information

Preface
3
The Compiler of Tabular Representations of Mealy Machines into Programs in the SMV Language that Automates Verification of Computer Projects Using the Model Verification
S. Frenkel, A. Kurts, D. Liburkin, N. Fandjushina, B. Anders
4
Virtual Machines Development and Management in Accordance with the «Hypervisor Functional Specification» Document
V. Egorov, E. Matveev
17
Signaling Mechanism of the Cell Programming Language
T. Bondarenko, O. Bondarenko, K. Volovich, V. Kondrashev
45
The Cell Language: Model of Clones Processing
T. Bondarenko, O. Bondarenko, K. Volovich, V. Kondrashev
67
The Base Model of the State Machine Operation in the Cell Programming System
T. Bondarenko, O. Bondarenko, K. Volovich, V. Kondrashev
82
Main Approaches to Functional Requirements Generation for Situational Centers and their Creation
A. Bosov, A. Zatsarinnyi, A. Suchkov
98
On an Approach to Justification of the Requirements to Situational Center Hardware Components
A. Zatsarinnyi, K. Chuprakov
126
An Approach to Justification of Requirements to Reliability of Information Telecommunication Networks
A. Zatsarinnyi, A. Garanin, Yu. Ionenkov
157
Main Constructor Desk as an Organizational Technical Foundation of Large-scale Information Telecommunication Systems Development
A. Zatsarinnyi, A. Garanin, S. Kozlov
174
Системы и средства информатики
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2022