PROGRAM SYSTEMS: THEORY AND APPLICATIONS

12+

Online Scientific Journal published by the Ailamazyan Program Systems Institute of the Russian Academy of Sciences

Papers are accepted in the form of a PDF file

To view the PDF files, you will need Adobe Acrobat Reader

2015 Volume 6
Issue 4

Clicking on a menu header directs you to the abstracts of papers. Each abstract is preceded by an assigned number, submission date, and the number of A5 pages contained in the paper.
Please use the PDF icon to open the PDF version of the paper.

Software and Hardware for Distributed Systems and Supercomputers

Dmitriy Zmejev, Nikolay Levchenko, Anatoliy Okunev, Aleksandr Stempkovsky. The principles of organization of the I/O system of the parallel dataflow computing system
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-3-28
Boris Glinskiy, Nikolay Kuchin, Igor Chernykh, Yuriy Orlov, Nikolay Podkolodnyi, Vitaly Likhoshvai, Nikolay Kolchanov. Bioinformatics and High Performance Computing
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-99-112
Vladimir Roganov, Anton Kuznetsov, German Matveyev, Valeriy Osipov. Adaptive analysis of passwords’ reliability using computational power of hybrid supercomputers
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-139-155
Elena Shevchuk, Yury Shevchuk. Modern trends in sensor data storage and processing
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-157-176
Alexei Adamovich. Fibers as the basis for the implementation of the notion of the T-process for the JVM platform
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-177-195
Sergey Abramov, Yury Shevchuk, Aleksandr Ponomarev, Svetlana Ponomareva, Elena Shevchuk. Sensor network with module architecture
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-197-208
Genri Norman, Nikita Orekhov, Vasily Pisarev, Grigory Smirnov, Sergey Starikov, Vladimir Stegailov, Alexey Yanilkin. What for and which exaflops supercomputers are necessary in natural sciences
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-243-311
Ponomarev A. Sensor network with module architecture
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-441-453

Mathematical Foundations of Programming

Aleksey Burtsev, Sergey Sidorov. Ternary virtual machine and ternary DSSP
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-29-97
Sergei Meshveliani. Programming basic computer algebra in a language with dependent types
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-313-340
Antonina Nepeivoda. A remark about long attacks on ping-pong protocols
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-341-351
Aleksey Demidov. Computing capabilities of crystals
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-353-358
Kochurov E.V. Logic of constructions on graphs within application to business process execution
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-359-366

Methods for Optimal Control and Control Theory

Vladimir Gurman, Irina Rasina, Irina Guseva, Oles Fesko. Methods for approximate solution of optimal control problems
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-113-137

Artificial Intelligence, Intelligence Systems, Neural Networks

Elena Suleymanova. Linguistic modeling of temporal adverbial localizer
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-209-225
Elena Suleymanova. Semantic analysis of contextual dates
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-367-399
Yury Serdyuk. Basic architecture, methods and algorithms of system for temporal information extraction from natural language texts
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-401-418
Natal’ya Lando. Up-to-date methods of automatic time expression resolution in natural language texts
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-419-439

Supercomputing Software and Hardware

Nikolay Dikarev, Boris Shabanov, Aleksandr Shmelëv. Fused Multiply-Adders Using in Vector Dataflow Processor
DOI: https://doi.org/10.25209/2079-3316-2015-6-4-227-241