External Links

    Journal: Programming and Computer Software

    Volume 43, Issue 6

    321 -- 336A. A. Belevantsev. Multilevel static analysis for improving program quality
    337 -- 344Denis R. Kasimov, Aleksandr V. Kuchuganov, Valeriy N. Kuchuganov, P. P. Oskolkov. Vectorization of raster mechanical drawings on the base of ternary segmentation and soft computing
    345 -- 352S. V. Andreev, Alexander E. Bondarev, A. V. Bondarenko, Yu. V. Vizil'ter, Vladimir A. Galaktionov, A. V. Gudkov, S. Yu. Zheltov, V. T. Zhukov, E. B. Ilovaiskaya, V. A. Knyaz', K. V. Manukovskii, N. D. Novikova, M. V. Ososkov, N. Zh. Silaev, O. B. Feodoritova. A computational technology for constructing the optimal shape of a power plant blade assembly taking into account structural constraints
    353 -- 365E. Yu. Sharygin, Ruben Buchatskiy, Roman Zhuykov, A. R. Sher. Query compilation in PostgreSQL by specialization of the DBMS source code
    366 -- 372K. A. Batuzov. The use of vector instructions of a processor architecture for emulating the vector instructions of another processor architecture

    Volume 43, Issue 5

    277 -- 288I. A. Dudina, A. A. Belevantsev. Using static symbolic execution to detect buffer overflows
    289 -- 293Alexander N. Prokopenya, Mukhtar Zh. Minglibayev, G. M. Mayemerova, Zh. U. Imanova. Investigation of the restricted problem of three bodies of variable masses using computer algebra
    294 -- 299Valery Yudin, Leonid Karpov. Incompletely described objects in decision support
    300 -- 306S. N. Grigor'ev, A. V. Tolok, N. B. Tolok. Local search gradient algorithm based on functional voxel modeling
    307 -- 313Natalia Fursova, Pavel Dovgalyuk, I. A. Vasil'ev, Vladimir Makarov. A lightweight method for virtual machine introspection
    314 -- 319A. V. Kozachok. Formal logical language to set requirements for secure code execution

    Volume 43, Issue 4

    217 -- 223B. Kh. Barladian, L. Z. Shapiro, E. Yu. Denisov, Alexey G. Voloboy. An efficient mulithreading algorithm for the simulation of global illumination
    224 -- 229D. Kuplyakov, Evgeny Shalnov, Anton Konushin. Markov chain Monte Carlo based video tracking algorithm
    230 -- 233A. D. Gusev, Andrey V. Nasonov, Andrey S. Krylov. Fast parallel grid warping-based image sharpening method
    234 -- 242R. V. Sapronov. Environment modeling in a flight simulator
    243 -- 249M. V. Mikhaylyuk, P. Y. Timokhin, A. V. Maltsev. A method of Earth terrain tessellation on the GPU for space simulators
    250 -- 257N. F. Pashchenko, K. S. Zipa, A. V. Ignatenko. An algorithm for the visualization of stereo images simultaneously captured with different exposures
    258 -- 267D. Ulyanov, D. K. Bogolepov, Vadim Turlapov. Interactive vizualization of constructive solid geometry scenes on graphic processors
    268 -- 276V. K. Koshelev, V. N. Ignatiev, A. I. Borzilov, A. A. Belevantsev. SharpChecker: Static analysis tool for C# programs

    Volume 43, Issue 3

    131 -- 144Elena V. Ivanova, Leonid B. Sokolinsky. Parallel processing of very large databases using distributed column indexes
    145 -- 160Lev Yu. Barash, Maria S. Guskova, Lev N. Shchur. Employing AVX vectorization to improve the performance of random number generators
    161 -- 171Yevgeniya A. Daineko, Madina T. Ipalakova, Zhiger Zhassulanuly Bolatov. Employing information technologies based on .NET XNA framework for developing a virtual physical laboratory with elements of 3D computer modeling
    172 -- 183Mikhail M. Krasnov, Marina E. Ladonkina. Discontinuous Galerkin method on three-dimensional tetrahedral grids. The use of template metaprogramming of the C++ language
    184 -- 195Aleksandr N. Kamaev, Viacheslav A. Sukhenko, Dmitry A. Karmanov. Constructing and visualizing three-dimensional sea bottom models to test AUV machine vision systems
    196 -- 203Vladimir A. Frolov, Vladimir A. Galaktionov. Memory-compact Metropolis light transport on GPUs
    204 -- 215Fermin-Alberto Armenta-Cano, Andrei Tchernykh, Jorge M. Cortés-Mendoza, Ramin Yahyapour, Alexander Yu. Drozdov, Pascal Bouvry, Dzmitry Kliazovich, Arutyun Avetisyan, Sergio Nesmachnow. Min_c: Heterogeneous concentration policy for energy-aware scheduling of jobs with resource contention

    Volume 43, Issue 2

    67 -- 74Sergei A. Abramov, Anna A. Ryabenko, Denis E. Khmelnov. Revealing matrices of linear differential systems of arbitrary order
    75 -- 83A. B. Batkhin. A real variety with boundary and its global parameterization
    84 -- 89Yuri A. Blinkov, Vladimir P. Gerdt, K. B. Marinov. Discretization of quasilinear evolution equations by computer algebra methods
    90 -- 97Sergey A. Gutnik, Vasily A. Sarychev. Application of computer algebra methods for investigation of stationary motions of a gyrostat satellite
    98 -- 104Ryszard Kozera, Alexander N. Prokopenya. Application of computer algebra for the reconstruction of surfaces from their photometric stereo images
    105 -- 111A. A. Kytmanov, A. P. Lyapin, T. M. Sadykov. Evaluating the rational generating function for the solution of the Cauchy problem for a two-dimensional difference equation with constant coefficients
    112 -- 118Gennadi I. Malaschonok. MathPartner computer algebra
    119 -- 125A. A. Panferov. Partial algorithms for satellite unknowns determination
    126 -- 129S. V. Paramonov. On testing the existence of universal denominators for partial differential and difference equations

    Volume 43, Issue 1

    1 -- 12P. M. Vdovin, V. A. Kostenko. Organizing message transmission in AFDX networks
    13 -- 23N. B. Deryabin, D. D. Zhdanov, V. G. Sokolov. Embedding the script language into optical simulation software
    24 -- 36S. E. Popov. Improved phase unwrapping algorithm based on NVIDIA CUDA
    37 -- 46Ilya Hodashinsky, M. A. Mekh. Fuzzy classifier design using harmonic search methods
    47 -- 50Grigori Sidorov, Martín Ibarra Romero, Ilia Markov, Rafael Guzmán-Cabrera, Liliana Chanona-Hernández, Francisco Velasquez. Measuring similarity between Karel programs using character and word n-grams
    51 -- 59Roman Zhuykov, Sh. E. Bozoyan. Ahead-of-time compilation of JavaScript programs
    60 -- 66M. A. Klimushenkova, P. M. Dovgalyuk. Improving the performance of reverse debugging
    runs on