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
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
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
A Comparison of Algorithms for the Normalization and Quantization of Polynomial Hamiltonians. 75-82 - Sergei A. Abramov
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
Fast Multiplication and Sparse Structures. 105-109 - Oleg Golubitsky, Sean M. Falconer:
Infinite Strings Generated by Insertions. 110-114 - Victor F. Edneral
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
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
Bidirectional Ray Tracing for the Integration of Illumination by the Quasi-Monte Carlo Method. 258-265 - Boris Kh. Barladian, Alexey G. Voloboi
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.
last updated on 2024-11-18 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: