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