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 4  


Hardware, software and distributed supercomputer systems
The principles of organization of the I/O system of the parallel dataflow computing system
D. N. Zmeev, N. N. Levchenko, A. S. Okunev, A. L. Stempkovsky
3–28
Bioinformatics and high performance computing
B. M. Glinskiy, N. V. Kuchin, I. G. Chernykh, Yu. L. Orlov, N. L. Podkolodnyi, V. A. Likhoshvai, N. A. Kolchanov
99–112
Adaptive analysis of passwords’ reliability using computational power of hybrid supercomputers
V. A. Roganov, A. A. Kuznetsov, G. A. Matveev, V. I. Osipov
139–155
Modern trends in sensor data storage and processing
E. V. Shevchuk, Yu. V. Shevchuk
157–176
Fibers as the basis for the implementation of the notion of the T-process for the JVM platform
A. I. Adamovich
177–195
Sensor network with module architecture
S. M. Abramov, Yu. V. Shevchuk, A. Yu. Ponomarev, S. M. Ponomareva, E. V. Shevchuk
197–208
What for and which exaflops supercomputers are necessary in natural sciences
G. E. Norman, N. D. Orekhov, V. V. Pisarev, G. S. Smirnov, S. V. Starikov, V. V. Stegailov, A. V. Yanilkin
243–311
Sensor network with module architecture
A. Yu. Ponomarev
441–453

Optimization Methods and Control Theory
Methods for approximate solution of optimal control problems
V. I. Gurman, I. V. Rasina, I. S. Guseva, O. V. Fesko
113–137

Artificial Intelligence, Intelligent Systems, Neural Networks
Linguistic modeling of temporal adverbial localizer
E. A. Suleymanova
209–225
Semantic analysis of contextual dates
E. A. Suleymanova
367–399
Basic architecture, methods and algorithms of system for temporal information extraction from natural language texts
Yu. P. Serdyuk
401–418
Up-to-date methods of automatic time expression resolution in natural language texts
N. S. Lando
419–439

Mathematical Foundations of Programming
Ternary virtual machine and ternary DSSP
A. A. Burtsev, S. A. Sidorov
29–97
Programming basic computer algebra in a language with dependent types
S. D. Meshveliani
313–340
A remark about long attacks on ping-pong protocols
A. N. Nepeivoda
341–351
Computing capabilities of crystals
A. A. Demidov
353–358
Logic of constructions on graphs within application to business process execution
E. V. Kochurov
359–366

Hardware and Software for Supercomputers
Fused multiply-adders using in vector dataflow processor
N. I. Dikarev, B. M. Shabanov, A. S. Shmelev
227–241
Program Systems: Theory and Applications
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2026