Journal: Programming and Computer Software

Volume 32, Issue 6

299 -- 300. A. V. Zamulin
301 -- 307Rimma I. Podlovchenko. Automaton semigroup models of programs
308 -- 316K. O. Savenkov, R. L. Smeliansky. Scaling down discrete-event simulation models
317 -- 323S. V. Antyufeev. Fuzzy decision algorithm
324 -- 337V. O. Afanasiev. Trees and linked lists with variable ordering relations (RTR structures)
338 -- 347A. M. Gorelik. Modern technologies aimed at the development of large programs for solving computational problems on computers with various architectures
348 -- 354S. V. Zykin. Formation of hypercube representation of relational database

Volume 32, Issue 5

243 -- 254P. O. Pleshachkov, S. D. Kuznetsov. Transaction management in RDBMSs with XML support
255 -- 267A. A. Boldakov, Maxim N. Grinev. Transformation of XML data using updates without side effects
268 -- 275P. G. Cherkasova, B. A. Novikov. Seamless design: Impedance mismatch revisited
276 -- 283S. P. Kopysov, I. V. Krasnopyorov, V. N. Rychkov. CORBA and MPI code coupling
284 -- 297A. G. Voloboi, V. A. Galaktionov, Edward A. Kopylov, L. Z. Shapiro. Simulation of natural daylight illumination determined by a high dynamic range image

Volume 32, Issue 4

189 -- 0. On the jubilee of Rimma Ivanovna Podlovchenko s birth
190 -- 202V. A. Nepomniaschy, Igor S. Anureev, I. V. Dubranovskii, Alexey V. Promsky. Towards verification of C# programs: A three-level approach
203 -- 214V. P. Ivannikov, Sergey S. Gaissaryan, Arutyun Avetisyan, V. A. Padaryan. Estimation of dynamical characteristics of a parallel program on a model
215 -- 227S. S. Gorelov. Optimal schema hierarchies in searching semistructured databases by conjunctive regular path queries
228 -- 242V. V. Ovchinnikov. Architecture of a semantic data integration system based on a semantically complete model and a semantically complete query language

Volume 32, Issue 3

123 -- 127Marina V. Kondratieva, A. I. Zobnin. Membership problem for differential ideals generated by a composition of polynomials
128 -- 133N. M. Glazunov. Methods for justifying arithmetic hypotheses and computer algebra
134 -- 138Vladimir P. Gerdt, D. A. Yanovich. Effectiveness of involutive criteria in computation of polynomial Janet bases
139 -- 144Alexander D. Bruno, Victor F. Edneral. Normal forms and integrability of ODE systems
145 -- 153A. I. Bogolubsky, S. L. Skorokhodov. Fast evaluation of the hypergeometric function ::p::::::F::::::::::p::::-1::(a; b; z) at the singular point z = 1 by means of the Hurwitz zeta function zeta(alpha, ::::s::::)
154 -- 165L. M. Berkovich, S. A. Evlakhov. On the Euler-Imshenetskii-Darboux transformation of linear second-order equations
166 -- 176Evgeniya V. Adutskevich, Nickolai A. Likhoded. A consistent generation of pipeline parallelism and distribution of operations and data among processors
177 -- 187A. A. Boguslavskii, Sergey M. Sokolov. Detecting objects in images in real-time computer vision systems using structured geometric models

Volume 32, Issue 2

61 -- 64Sergei A. Abramov, A. A. Bogolubskaya, V. A. Rostovtsev, Victor F. Edneral. The research seminar on computer algebra in 2004-2005
65 -- 70Marko Petkovsek. Symbolic computation with sequences
71 -- 76Alexander N. Prokopenya. Some symbolic computation algorithms in cosmic dynamics problems
77 -- 83S. Yu. Vernov. Construction of exact partial solutions of nonintegrable systems by means of formal Laurent and Puiseux series
84 -- 89Vladimir V. Kornyak. Discrete relations on abstract simplicial complexes
90 -- 95A. V. Purgin. Lattices of right divisors of linear ordinary differential operators
96 -- 102A. S. Semenov. On constructivity of involutive divisions
103 -- 113Sergey I. Vinitsky, Vladimir P. Gerdt, Alexander Gusev, Michail S. Kaschiev, V. A. Rostovtsev, V. N. Samoilov, T. V. Tupikova, Yoshio Uwano. Symbolic algorithm for factorization of the evolution operator of the time-dependent Schrödinger equation
114 -- 117Yuri A. Blinkov, Vladimir V. Mozzhilkin. Generation of difference schemes for the burgers equation by constructing Gröbner bases
118 -- 119Sergei A. Abramov, Marko Petkovsek. Solution spaces of ::::H::::-systems and the Ore-Sato theorem (extended abstract)
120 -- 122Anna A. Ryabenko. Symbolic solution of nonhomogeneous linear ordinary differential equations in terms of power series

Volume 32, Issue 1

1 -- 7Alexey Kalinov. Scalability of heterogeneous parallel systems
8 -- 18N. A. Aznauryan, Sergei D. Kuznetsov, L. G. Novak, Maxim N. Grinev. SLS: A numbering scheme for large XML documents
19 -- 30Vladimir V. Rubanov, A. I. Grinevich, D. A. Markovtsev. Specific optimization features in a C compiler for DSPs
31 -- 43M. V. Ksenzov. Architectural refactoring of corporate program systems
44 -- 55I. N. Skopin. Multiple data structuring
56 -- 58Sergei A. Abramov. In memory of Manuel Bronstein
59 -- 60Manuel Bronstein. Parallel integration