Programming and Computer Software, Volume 32

Volume 32, Number 1, January 2006

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

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

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

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

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

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