Programming and Computer Software, Volume 30

Volume 30, Number 1, January 2004

• Evgenii Andreevich Zhogolev. 1
  
• Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin:
  Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case. 2-17
  
• A. M. Frolov:
  A Hybrid Approach to Enhancing the Reliability of Software. 18-24
  
• E. A. Aksenova, A. A. Lazutina, A. V. Sokolov:
  Study of a Non-Markovian Stack Management Model in a Two-Level Memory. 25-33
  
• O. N. Malykh, Yu. S. Shakhnovskii:
  Optimization of a Data Dependence Graph for the Local Microcode Compaction Problem. Part 1: Problem Statement. 34-46
  
• Ekaterina Gorshkova, Boris Novikov:
  Use of Statechart Diagrams for Modeling of Hypertext. 47-51
  
• Alexandre V. Zamulin:
  Fifth International Conference "Perspectives of System Informatics". 52-56
  

Volume 30, Number 2, March 2004

• Sergei A. Abramov, Victor F. Edneral, V. A. Rostovtsev:
  The Research Seminar on Computer Algebra in 2002-2003. 57-60
  
• D. E. Khmelnov:
  Search for Polynomial Solutions of Linear Functional Systems by Means of Induced Recurrences. 61-67
  
• E. S. Shemyakova:
  Involutive Divisions. Graphs. 68-74
  
• Alexander Gusev, N. A. Chekanov, V. A. Rostovtsev, Sergey I. Vinitsky, Yoshio Uwano:
  A Comparison of Algorithms for the Normalization and Quantization of Polynomial Hamiltonians. 75-82
  
• Sergei A. Abramov, Anna A. Ryabenko:
  Sparse Power Series and Parameterized Linear Operators. 83-87
  
• A. I. Zobnin:
  Generalized Reduction in Rings of Differential Polynomials. 88-94
  
• A. I. Bogolubsky, S. L. Skorokhodov:
  Pade Approximants, Symbolic Evaluations, and Computation of Solitons in Two-Field Antiferromagnet Model. 95-99
  
• V. V. Kislenkov:
  Grid-Oriented Computation: Integrated Library GridComp. 100-104
  
• Gennadi I. Malaschonok, E. S. Satina:
  Fast Multiplication and Sparse Structures. 105-109
  
• O. D. Golubitsky, S. Falconer:
  Infinite Strings Generated by Insertions. 110-114
  
• Victor F. Edneral, Raya Khanin:
  Investigation of the Double Pendulum System by the Normal Form Method in MATHEMATICA. 115-117
  
• S. I. Serdyukova:
  Numerical Investigation of Breather-Type Solutions by Using REDUCE. 118-119
  

Volume 30, Number 3, May 2004

• Rimma I. Podlovchenko, V. E. Khachatryan:
  A New Approach to Solving Equivalence Problem. 121-133
  
• O. N. Malykh, Yu. S. Shakhnovskii:
  Optimization of a Data Dependence Graph for the Local Microcode Compaction Problem. Part 2: Algorithms and Experimental Verification. 134-141
  
• A. I. Ovchinnikov:
  Characterizable Radical Differential Ideals and Some Properties of Characteristic Sets. 141-149
  
• S. L. Skorokhodov:
  Symbolic Transformations in the Problem of Analytic Continuation of the Hypergeometric Function pFp-1(z) to the Neighborhood of the Point z = 1 in the Logarithmic Case. 150-156
  
• Vladimir V. Kornyak:
  A Modular Algorithm for Computing Cohomologies of Lie Algebras and Superalgebras. 157-163
  
• F. Clauss, I. Yu. Chupaeva:
  Application of Symbolic Approach to the Bernstein Expansion for Program Analysis and Optimization. 164-172
  
• A. M. Gorelik:
  Object-Oriented Programming in Modern Fortran. 173-179
  

Volume 30, Number 4, July 2004

• S. M. Achasova:
  Simple Self-Reproduction Programs in a Cellular Space Based on the Parallel Substitution Algorithm. 181-187
  
• Igor B. Bourdonov:
  Traversal of an Unknown Directed Graph by a Finite Robot. 188-203
  
• A. N. Ivanov:
  Graphic Language for Describing Constraints on Diagrams of UML Classes. 204-208
  
• Alexey Kalinov, Ilya Ledovskih:
  An Extension of Fortran for High Performance Parallel Computing. 209-217
  
• Alexander Kossatchev, P. Kutter, Mikhail Posypkin:
  Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language. 218-229
  
• Nguyen Manh Hung:
  Thesaurus Implementation in Integrated System of Information Resources (ISIR). 230-240
  

Volume 30, Number 5, September 2004

• Yuri Bayakovskii:
  Convergence of Computer Graphics and Machine Vision (From the Editor of the Special Issue). 241-241
  
• V. G. Zhislina, Denis V. Ivanov, V. F. Kuriakin, Victor S. Lempitsky, E. M. Martinova, K. V. Rodyushkin, T. V. Firsova, A. A. Khropov, A. V. Shokurov:
  Creating and Animating Personalized Head Models from Digital Photographs and Video. 242-257
  
• A. G. Voloboi, V. A. Galaktionov, Kirill Dmitriev, Edward A. Kopylov:
  Bidirectional Ray Tracing for the Integration of Illumination by the Quasi-Monte Carlo Method. 258-265
  
• B. Kh. Barladian, A. G. Voloboi, V. A. Galaktionov, Edward A. Kopylov:
  An Effective Tone Mapping Operator for High Dynamic Range Images. 266-272
  
• G. V. Borisenko, A. M. Denisov, A. S. Krylov:
  A Diffusion Filtering Method for Image Processing. 273-277
  
• N. V. Sveshnikova, D. V. Yurin:
  A Priori and A Posteriori Error Estimates in Recovery of 3D Scenes by Factorization Algorithms. 278-294
  
• Alexandre V. Zamulin:
  An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language. 295-302
  

Volume 30, Number 6, November 2004

• Svyatoslav Sergeevich Lavrov: In Memory of an Outstanding Scientist and Wonderful Man. 303-304
  
• Igor B. Bourdonov:
  Backtracking Problem in the Traversal of an Unknown Directed Graph by a Finite Robot. 305-322
  
• A. V. Leonov, R. R. Khusnutdinov:
  Construction of an Optimal Relational Schema for Storing XML Documents in an RDBMS without Using DTD/XML Schema. 323-336
  
• Leonid B. Sokolinsky:
  Survey of Architectures of Parallel Database Systems. 337-346
  
• A. Lukin, D. Kubasov:
  High-Quality Algorithm for Bayer Pattern Interpolation. 347-358
  
• Leonid A. Kalinichenko, Mikhail R. Kogalovsky:
  The Thirtieth Anniversary of the Data Bank Task Group. 359-360