Modelirovanie i Analiz Informatsionnykh Sistem
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



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






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


2022, Volume 29, Number 1  


Algorithms
The algorithm of angular superresolution using the cholesky decomposition and its implementation based on parallel computing technology
S. E. Mischenko, N. V. Shatskiy
6–19

Discrete mathematics in relation to computer science
Numerical modeling tools and $S$-derivatives
A. N. Morozov
20–29

Software
Recursive-parallel algorithm for solving the graph-subgraph isomorphism problem
V. V. Vasilchikov
30–43

Theory of computing
LTL-specification of bounded counter machines
E. V. Kuzmin
44–59
Methods for change parallelism in process of high-level VLSI synthesis
I. N. Ryzhenko, O. V. Nepomnyaschy, A. I. Legalov, V. V. Shaidurov
60–72
Моделирование и анализ информационных систем
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2026