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
- 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
- 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
- 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
- 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, Konstantin Vladimirovich 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
- Leonid A. Kalinichenko, Mikhail R. Kogalovsky: The Thirtieth Anniversary of the Data Bank Task Group. 359-360
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team