


default search action
Programming and Computer Software, Volume 30
Volume 30, Number 1, January 2004
- Evgenii Andreevich Zhogolev. 1

- Igor B. Bourdonov

, Alexander S. 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, Andrew 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 A. 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 - Denis 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, Nikolai 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 - Oleg Golubitsky, Sean M. 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 Ya. Kalinov, Ilya Ledovskih:

An Extension of Fortran for High Performance Parallel Computing. 209-217 - Alexander S. 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, Alexander V. Shokurov:

Creating and Animating Personalized Head Models from Digital Photographs and Video. 242-257 - Alexey G. Voloboi

, Vladimir A. Galaktionov, Kirill Dmitriev, Edward A. Kopylov:
Bidirectional Ray Tracing for the Integration of Illumination by the Quasi-Monte Carlo Method. 258-265 - Boris Kh. Barladian, Alexey G. Voloboi

, Vladimir A. Galaktionov, Edward A. Kopylov:
An Effective Tone Mapping Operator for High Dynamic Range Images. 266-272 - G. V. Borisenko, A. M. Denisov, Andrey S. Krylov

:
A Diffusion Filtering Method for Image Processing. 273-277 - Natalya V. Sveshnikova, Dmitry 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 - Alexey Lukin, Denis 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














