| Issue |
Title |
File |
| Vol 42, No 3 (2016) |
Automatic synthesis of action programs for intelligent robots |
|
|
Osipov V.Y.
|
| Vol 45, No 8 (2019) |
Building the Software-Defined Data Center |
|
|
Shabanov B.M., Samovarov O.I.
|
| Vol 45, No 2 (2019) |
Canonical Representation of Polynomial Expressions with Indices |
|
|
Shpiz G., Kryukov A.
|
| Vol 42, No 4 (2016) |
Checking several requirements at once by CEGAR |
|
|
Mordan V.O., Mutilin V.S.
|
| Vol 44, No 6 (2018) |
Comparative Analysis of Two Approaches to Static Taint Analysis |
|
|
Belyaev M.V., Shimchik N.V., Ignatyev V.N., Belevantsev A.A.
|
| Vol 42, No 4 (2016) |
Comparison of specification decomposition methods in Event-B |
|
|
Devyanin P.N., Kulyamin V.V., Petrenko A.K., Khoroshilov A.V., Shchepetkov I.V.
|
| Vol 45, No 2 (2019) |
Computation of the Fundamental Units of Number Rings Using a Generalized Continued Fraction |
|
|
Bruno A.D.
|
| Vol 45, No 2 (2019) |
Computation of the Resonance Set of a Polynomial under Constraints on Its Coefficients |
|
|
Batkhin A.B.
|
| Vol 44, No 2 (2018) |
Computational Problems of Multivariate Hypergeometric Theory |
|
|
Sadykov T.M.
|
| Vol 42, No 4 (2016) |
Conflict resolution in multi-agent systems with typed relations for ontology population |
|
|
Garanina N.O., Sidorova E.A., Anureev I.S.
|
| Vol 43, No 3 (2017) |
Constructing and visualizing three-dimensional sea bottom models to test AUV machine vision systems |
|
|
Kamaev A.N., Sukhenko V.A., Karmanov D.A.
|
| Vol 42, No 6 (2016) |
Construction of a model of a continuous light source specified by a fixed set of rays |
|
|
Zhdanov D.D., Aleinikov A.A., Zhdanov A.D., Deryabin N.B.
|
| Vol 45, No 2 (2019) |
Counting Near-Perfect Matchings on Cm × Cn Tori of Odd Order in the Maple System |
|
|
Perepechko S.N.
|
| Vol 44, No 6 (2018) |
Crash Processing for Selection of Unique Defects |
|
|
Niskov F.V., Fedotov A.N., Kurmangaleev S.F.
|
| Vol 45, No 6 (2019) |
CUDA-Based Method to Boost Target Performance Evaluation of Space Systems for Automatic Mobile Object Identification and Localization |
|
|
Skorokhodov Y.A.
|
| Vol 42, No 5 (2016) |
Data representation model for in-depth analysis of network traffic |
|
|
Get’man I., Ivannikov V.P., Markin Y.V., Padaryan V.A., Tikhonov A.Y.
|
| Vol 45, No 8 (2019) |
Data-Oriented Scheduling with Dynamic-Clustering Fault-Tolerant Technique for Scientific Workflows in Clouds |
|
|
Ahmad Z., Jehangiri A.I., Iftikhar M., Umer A.I., Afzal I.
|
| Vol 45, No 8 (2019) |
Debugging Smart Contract’s Business Logic Using Symbolic Model Checking |
|
|
Shishkin E.
|
| Vol 44, No 5 (2018) |
Decentralized Data Storages: Technologies of Construction |
|
|
Kryukov A.P., Demichev A.P.
|
| Vol 44, No 6 (2018) |
Deep Learning Based Efficient Channel Allocation Algorithm for Next Generation Cellular Networks |
|
|
Sreenivasulu D., Krishna P.V.
|
| Vol 45, No 6 (2019) |
Design and Implementation of Port-Mapped IO Management Subsystem and Kernel Interface for True Microkernels on IA-32 Processors |
|
|
Klimiankou Y.
|
| Vol 44, No 5 (2018) |
Detecting Near Duplicates in Software Documentation |
|
|
Luciv D.V., Koznov D.V., Chernishev G.A., Terekhov A.N., Romanovsky K.Y., Grigoriev D.A.
|
| Vol 45, No 6 (2019) |
Detection and 3D Reconstruction of Buildings from Aerial Images |
|
|
Novotortsev L.V., Voloboy A.G.
|
| Vol 45, No 4 (2019) |
Detection of Brain Cells in Optical Microscopy Based on Textural Features with Machine Learning Methods |
|
|
Nosova S.A., Turlapov V.E.
|
| Vol 42, No 3 (2016) |
Developing a software system for automata-based code generation |
|
|
Shulga T.E., Ivanov E.A., Slastihina M.D., Vagarina N.S.
|
| 51 - 75 of 210 Items |
<< < 1 2 3 4 5 6 7 8 9 > >> |
