Modelirovanie i Analiz Informatsionnykh Sistem
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
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:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2026