Program Systems: Theory and Applications
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Program Systems: Theory and Applications:
Year:
Volume:
Issue:
Page:
Find






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


2015, Volume 6, Issue 1  


Hardware, software and distributed supercomputer systems
The distributed computer system for training specialists of high performance computing
V. V. Gubarev, P. V. Mishchenko
39–49
Cloud system for program parameters fine tuning
S. A. Smirnov
51–60
Cloud computing security perimeter
V. I. Vorobiev, S. R. Ryzhkov, R. R. Fatkieva
61–71
Multiagent approach to the controlling of the operational environment containing extremely large databases
A. A. Tsvetkov
83–97
Rational agents as probabilistic automata
N. N. Nepejvoda, M. M. Khatkevich, A. A. Tsvetkov
99–108
Pautina: the high performance interconnect
Yu. A. Klimov, A. B. Shvorin, A. Yu. Khrenov, I. A. Adamovich, A. Yu. Orlov, S. M. Abramov, Yu. V. Shevchuk, A. Yu. Ponomarev
109–120
On the cryptographic security of the “BotikKey” authentication protocol against attacks on MD5 hash function
A. A. Kuznetsov
135–145
Research into the issue of BotikKey protocol resistance to the brute force attack
A. A. Kuznetsov
147–156
Supercomputer analysis of genomics and transcriptomics data revealed by high-throughput DNA sequencing
A. M. Spitsina, Yu. L. Orlov, N. N. Podkolodnaya, A. V. Svichkarev, A. I. Dergilev, M. Chen, S. V. Kuchin, I. G. Chernykh, B. M. Glinskij
157–174

Optimization Methods and Control Theory
Methodological support of optimal control of fuzzy multistage processes
I. A. Egereva
11–19
Linear quadratic discrete-continuous systems with controllable coefficients
I. V. Rasina, O. V. Baturina
21–37

Artificial Intelligence, Intelligent Systems, Neural Networks
Referential profile — a tool for studying reference in discourse
E. A. Suleymanova, I. V. Trofimov
73–82
Construction perspectives of the remote sensing data high-performance processing system
V. M. Khachumov, V. P. Fralenko, Chen Guo Xiang, Zhang Guo Liang
121–133

Mathematical Foundations of Programming
Category-theoretic approach to algebraic computer systems design
S. P. Kovalyov
3–10
A model and algorithm for sequence alignment
S. V. Znamenskij
189–197

Hardware and Software for Supercomputers
Implementation of T-system with an open architecture for CUDA devices supporting dynamic parallelism and for hybrid computing clusters
V. A. Roganov, A. A. Kuznetsov, G. Matveev, V. I. Osipov
175–188
Program Systems: Theory and Applications
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2026