Proceedings of the Institute for System Programming of the RAS
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Proceedings of ISP RAS:
Year:
Volume:
Issue:
Page:
Find






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


2022, Volume 34, Issue 2  


An approach to test program generation for memory coherence verification of “Elbrus” microprocessors
V. A. Agafonov, P. V. Frolov, A. N. Meshkov
7–16
An algorithm of test generation from functional specification using Open IE model and clustering
K. S. Kobyshev, S. A. Molodyakov
17–24
Error detection in binary code with dynamic symbolic execution
A. V. Vishnyakov, E. A. Kobrin, A. N. Fedotov
25–42
Design patterns for a knowledge-driven analytical platform
V. S. Zayakin, L. N. Lyadova, E. A. Rabchevskiy
43–56
Actor-oriented approach for business-process management of analytical system development
T. M. Pribylev, M. N. Zaytsev, O. L. Vikenteva
57–66
Architecture of a software system for designing robust business processes
K. V. Samoylova, E. B. Zamyatina
67–76
Text sampling strategies for predicting missing bibliographic links
F. V. Krasnov, I. S. Smaznevich, E. N. Baskakova
77–88
Loss functions for train document image segmentation models
A. I. Perminov, D. Yu. Turdakov, O. V. Belyaeva
89–110
Job management system for automated data collection from the Internet
V. A. Lazarev, M. I. Varlamov, A. K. Yatskov
111–122
Automated object storage management approach with operator SDK and custom resource definition
K. M. Stonozhenko, I. V. Nikiforov, S. M. Ustinov
123–134
Wi-Fi sensing Human Detection with Kolmogorov-Wiener Filter and Gated Recurrent Neural Networks
P. P. Shibaev, A. A. Chupakhin
135–144
Automation of the process of environmental monitoring in specially protected natural territories of the Russian Federation based on the content management system Directum RX
I. D. Rudko, L. L. Khoroshko, P. P. Keyno
145–158
Task and resources management function in HPC operation system «SPO Super-EVM»
A. O. Ignatyev, A. A. Kalinin, S. Yu. Mokshin
159–178
A web application to promote blood donation in Russia
P. A. Smirnov, V. V. Malinovskaya, N. V. Voinov
179–190
Modification of the Method for Calculating Polygenic Risks With Variation Graph
O. A. Kondrateva, E. A. Karpulevitch
191–200
Approach to displaying data to users of telemedicine systems for early detection of diseases by ECG
A. A. Busenkov, E. A. Kholodov, R. S. Novikov, B. A. Pozin
201–208
Proceedings of the Institute for System Programming of the RAS
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025