Browse Title Index

Issue Title File
Vol 45, No 3 (2019) On Solving the Problem of 7-Piece Chess Endgames
Zakharov V.B., Mal’kovskii M.G., Mostyaev A.I.
Vol 43, No 2 (2017) On testing the existence of universal denominators for partial differential and difference equations
Paramonov S.V.
Vol 44, No 3 (2018) On the Recovery of Motion of Dynamic Objects from Stereo Images
Bobkov V.A., Kudryashov A.P., Mel’man S.V.
Vol 44, No 3 (2018) On the Representation of Results of Binary Code Reverse Engineering
Padaryan V.A., Ledovskikh I.N.
Vol 44, No 4 (2018) Optimization Method for Cell Image Registration
Guryanov F.A., Krylov A.S.
Vol 45, No 8 (2019) Optimizing Access to Memory Pages in Software-Implemented Global Page Cache Systems
Gusev E.I.
Vol 43, No 1 (2017) Organizing message transmission in AFDX networks
Vdovin P.M., Kostenko V.A.
Vol 44, No 6 (2018) OS-Agnostic Identification of Processes and Threads in the Full System Emulation for Selective Instrumentation
Vasil’ev I.A., Dovgalyuk P.V., Klimushenkova M.A.
Vol 45, No 5 (2019) Package of Procedures for Inverting Matrices Whose Entries are Linear Difference Operators
Abramov S.A., Khmelnov D.E.
Vol 43, No 3 (2017) Parallel processing of very large databases using distributed column indexes
Ivanova E.V., Sokolinsky L.B.
Vol 45, No 7 (2019) Parallelization of Implementations of Purely Sequential Algorithms
Bugerya A.B., Kim E.S., Solovev M.A.
Vol 44, No 2 (2018) Parameterization of a Set Determined by the Generalized Discriminant of a Polynomial
Batkhin A.B.
Vol 42, No 2 (2016) Parameterization of the discriminant set of a polynomial
Batkhin A.B.
Vol 43, No 2 (2017) Partial algorithms for satellite unknowns determination
Panferov A.A.
Vol 45, No 5 (2019) Particular Solutions of Linear Differential and (q-) Difference Systems with Hypergeometric Right-hand Sides
Ryabenko A.A.
Vol 42, No 2 (2016) Partitions of the set of selected unknowns in linear differential–algebraic systems
Panferov A.A.
Vol 45, No 7 (2019) Path Querying with Conjunctive Grammars by Matrix Multiplication
Azimov R., Grigorev S.
Vol 45, No 6 (2019) Performance Evaluation of a Hybrid Computer Cluster Built on IBM POWER8 Microprocessors
Mal’kovskii S.I., Sorokin A.A., Korolev S.P., Zatsarinnyi A.A., Tsoi G.I.
Vol 45, No 1 (2019) Performance Evaluation of a Recognition System on the VLIW Architecture by the Example of the Elbrus Platform
Limonova E.E., Bocharov N.A., Paramonov N.B., Bogdanov D.S., Arlazarov V.V., Slavin O.A., Nikolaev D.P.
Vol 44, No 4 (2018) Photorealistic Rendering of Images Formed by Augmented Reality Optical Systems
Zhdanov D.D., Galaktionov V.A., Voloboy A.G., Zhdanov A.D., Garbul’ A.A., Potemin I.S., Sokolov V.G.
Vol 44, No 1 (2018) PosDB: An Architecture Overview
Chernishev G.A., Galaktionov V.A., Grigorev V.D., Klyuchikov E.S., Smirnov K.K.
Vol 45, No 8 (2019) Positional Characteristics for Efficient Number Comparison over the Homomorphic Encryption
Babenko M., Tchernykh A., Chervyakov N., Kuchukov V., Miranda-López V., Rivera-Rodriguez R., Du Z., Talbi E.
Vol 42, No 2 (2016) Procedures for searching local solutions of linear differential systems with infinite power series in the role of coefficients
Abramov S.A., Ryabenko A.A., Khmelnov D.E.
Vol 42, No 4 (2016) Program schemata technique for propositional program logics: A 30-year history
Shilov N.V., Shilova S.O., Bernshtein A.Y.
Vol 44, No 3 (2018) Prototype of a Verified Program Code Execution System
Kozachok A.V., Kochetkov E.V.
151 - 175 of 210 Items << < 2 3 4 5 6 7 8 9 > >>