RUS  ENG
Full version
JOURNALS // Proceedings of the Institute for System Programming of the RAS // Archive

2022, Volume 34, Issue 1


Elicitation of functional requirements from the application programming interface documentation for functional testing
E. A. Gerlits, D. S. Kildishev, A. V. Khoroshilov
7
Requirements traceability as the basis for designing a functional and logical architecture of a software system
B. A. Pozin, G. N. Tsiperman
23
Security threat level estimation for untrusted software based on trustzone technology
D. O. Markin, S. M. Makeev, T. T. Hî
35
Evaluation of hardware data compression in interprocessor links of elbrus processors
A. V. Surchenko
49
Parallelism reduction method in the high-level vlsi synthesis implementation
D. S. Romanova, O. V. Nepomnyaschy, I. N. Ryzhenko, A. I. Legalov, N. Yu. Sirotinina
69
Generalized context-dependent graph-theoretic model of folklore and literary texts
N. D. Moskin, A. A. Rogov, R. V. Voronov
73
The software implementation of a metagraph processing system based on the big data approach
V. M. Chernenkiy, I. V. Dunin, Yu. E. Gapanyuk
87
Matrix regularity analysis
I. B. Burdonov, A. A. Karnov
101
Redundancy and uncertainty-based algorithms for computation planning
A. G. Feoktistov, R. O. Kostromin, S. A. Gorsky, I. V. Bychkov, A. N. Tchernykh, O. Yu. Basharina
123
Natural language processing algorithms for understanding the semantics of text
D. O. Zhaxybayev, G. N. Mizamova
141
Combined method for plagiarism detection in text documents
K. F. Safin, Yu. V. Chekhovich
151
Solving the problem of storing trajectories of molecular dynamics in a dbms
I. V. Likhachev
161


© Steklov Math. Inst. of RAS, 2026