Journal: Programming and Computer Software

Volume 41, Issue 6

307 -- 310Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin. Analysis of a graph by a set of automata
311 -- 324Alexander S. Kamkin. Projecting transition systems: Overcoming state explosion in concurrent system verification
325 -- 335Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin, Vladislav V. Podymov, Igor V. Konnov. A combined toolset for the verification of real-time distributed systems
336 -- 349N. A. Astrakhantsev, Denis G. Fedorenko, D. Yu. Turdakov. Methods for automatic term recognition in domain-specific text collections: A survey
350 -- 360Constantin S. Pan, Mikhail L. Zymbler. Encapsulation of partitioned parallelism into open-source database management systems
361 -- 372N. P. Varnovskiy, Vladimir A. Zakharov, N. N. Kuzyurin, Alexander V. Shokurov. The current state of art in program obfuscations: definitions of obfuscation security
373 -- 380V. A. Padaryan, V. V. Kaushan, A. N. Fedotov. Automated exploit generation for stack buffer overflow vulnerabilities

Volume 41, Issue 5

247 -- 252Alexander E. Bondarev, Vladimir A. Galaktionov. Multidimensional data analysis and visualization for time-dependent CFD problems
253 -- 257Alexei M. Gruzdev, Vladimir A. Frolov, Alexey V. Ignatenko. Practical approach to the fast Monte-Carlo ray-tracing
258 -- 266Mikhail V. Kharinov. Pixel clustering for color image segmentation
267 -- 272Dmitry S. Kozlov, Victor A. Debelov. Algorithm for photorealistic rendering of transparent optically active isotropic crystals
273 -- 278A. V. Kvostikov, Andrey S. Krylov, U. R. Kamalov. Ultrasound image texture analysis for liver fibrosis stage diagnostics
279 -- 288L. M. Mestetskii. Representation of segment Voronoi diagram by Bezier curves
289 -- 294M. V. Mikhaylyuk, P. Y. Timokhin, M. A. Torgashev. The method of real-time implementation of tone mapping and bloom effect
295 -- 301D. D. Zhdanov, A. A. Garbul, I. S. Potemin, Alexey G. Voloboy, Vladimir A. Galaktionov, S. V. Ershov, V. G. Sokolov. Photorealistic volume scattering model in the bidirectional stochastic ray tracing problem
302 -- 306Roman Pastukhov, Anton Korshunov, D. Yu. Turdakov, Sergei D. Kuznetsov. Improving quality of graph partitioning using multi-level optimization

Volume 41, Issue 4

197 -- 207Mikhail U. Mandrykin, Alexey V. Khoroshilov. High-level memory model with low-level pointer cast support for Jessie intermediate language
208 -- 214D. V. Koznov, E. V. Larchik, Andrey N. Terekhov. View to view transformations in domain specific modeling
215 -- 218N. P. Varnovskiy, S. A. Martishin, M. V. Khrapchenko, A. V. Shokurov. Secure cloud computing based on threshold homomorphic encryption
219 -- 223Sergey B. Utkin, Svetlana V. Batova, Sergey A. Blagonravov, Pavel V. Konovalov, I. O. Zharinov. Automated construction of software configuration tables for real-time systems in avionics
224 -- 230Artem Pelenitsyn. Associated types and constraint propagation for generic programming in Scala
231 -- 236Alexey R. Nurmukhametov, Shamil F. Kurmangaleev, V. V. Kaushan, Sergey S. Gaissaryan. Application of compiler transformations against software vulnerabilities exploitation
237 -- 245V. K. Koshelev, A. O. Izbyshev, I. A. Dudina. Interprocedural taint analysis for LLVM-bitcode

Volume 41, Issue 3

131 -- 139Dmitriy Bushin, Irina Virbitskaite. Comparative trace semantics of time Petri nets
140 -- 148Natalya Olegovna Garanina, Elena Sidorova. Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms
149 -- 161Sergei A. Grechanik. Proving properties of functional programs by equality saturation
162 -- 169Pavel G. Emelyanov, Denis K. Ponomaryov. Algorithmic issues of AND-decomposition of boolean formulas
170 -- 182Ilya G. Klyuchnikov, Sergei A. Romanenko. Supercompilation for Martin-Lof's type theory
183 -- 195Ilja S. Zakharov, Vadim S. Mutilin, Alexey V. Khoroshilov. Pattern-based environment modeling for static verification of Linux kernel modules

Volume 41, Issue 2

65 -- 73Sergei A. Abramov. Search of rational solutions to differential and difference systems by means of formal series
74 -- 83A. B. Batkhin, Alexander D. Bruno. Investigation of a real algebraic surface
84 -- 89A. I. Zobnin, M. A. Limonov. Algorithm for checking triviality of "mixed" ideals in the ring of differential polynomials
90 -- 97A. A. Panferov. Differential equation systems with selected part of the unknowns
98 -- 104Alexander N. Prokopenya. Simulation of a quantum algorithm for phase estimation
105 -- 111François Boulier, Maoan Han, François Lemaire, Valery G. Romanovski. Qualitative investigation of a gene model using computer algebra algorithms
112 -- 118Anna A. Ryabenko. On exponential-logarithmic solutions of linear differential systems with power series coefficients
119 -- 125E. S. Shemyakova. Invertible Darboux transformations of type I
126 -- 130D. A. Yanovich. Compact representation of polynomials for algorithms for computing Gröbner and involutive bases

Volume 41, Issue 1

1 -- 13Igor B. Bourdonov, Alexander Kossatchev, V. V. Kulyamin. Parallel computations on a graph
14 -- 22V. T. Zhukov, M. M. Krasnov, N. D. Novikova, O. B. Feodoritova. Multigrid effectiveness on modern computing architectures
23 -- 30Igor Mashechkin, Mikhail Petrovskiy, D. S. Popov, Dmitry V. Tsarev. Applying text mining methods for data loss prevention
31 -- 40Y. I. Klimiankou. A method for supporting runtime environments simultaneously served by multiple memory managers for operating systems based on second-generation microkernel
41 -- 48Valery A. Nepomniaschy, E. V. Bodin, S. O. Veretnov. The language dynamic-real and its application for verification of SDL-specified distributed systems
49 -- 64I. S. Zakharov, Mikhail Mandrykin, Vadim Mutilin, Eugene Novikov, Alexander K. Petrenko, Alexey V. Khoroshilov. Configurable toolset for static verification of operating systems kernel modules