Programming and Computer Software, Volume 29

Volume 29, Number 1, January 2003

On the 100th Anniversary of the Birth of Academician Sergei Alekseevich Lebedev. 1
Electronic Edition (link) BibTeX
N. V. Bocharov:
Concurrent Programming Technologies and Techniques. 2-12
Electronic Edition (link) BibTeX
G. A. Tarnavsky, Vitalii A. Vshivkov, A. G. Tarnavsky:
Parallelization of Algorithms and Codes of the Computational System "Potok-3". 13-27
Electronic Edition (link) BibTeX
Li Chunlin, Zhengding Lu, Li Layuan:
Design and Implementation of a Hybrid Agent Platform. 28-42
Electronic Edition (link) BibTeX
V. E. Khachatryan:
Complete System of Equivalent Transformations for Multitape Automata. 43-54
Electronic Edition (link) BibTeX

Volume 29, Number 2, March 2003

Sergei A. Abramov, A. P. Kryukov, V. A. Rostovtsev:
The Scientific Research Seminar on Computer Algebra in 2001-2002. 55-58
Electronic Edition (link) BibTeX
Gennadi I. Malaschonok:
Solution of Systems of Linear Equations by the p-Adic Method. 59-71
Electronic Edition (link) BibTeX
Vladimir P. Gerdt, D. A. Yanovich:
Implementation of the FGLM Algorithm and Finding Roots of Polynomial Involutive Systems. 72-74
Electronic Edition (link) BibTeX
S. L. Skorokhodov:
Computer Algebra and Computing Special Functions. 75-82
Electronic Edition (link) BibTeX
Giuseppa Carrà Ferro, Vladimir P. Gerdt:
Improved Kolchin-Ritt Algorithm. 83-87
Electronic Edition (link) BibTeX
V. V. Kislenkov:
Grid-Oriented Computation: Modified Bessel Functions nu(z) and nu(z). 88-93
Electronic Edition (link) BibTeX
Vladimir V. Kornyak:
A Method of Splitting Cochain Complexes for Computing Cohomology: Lie Algebra of Hamiltonian Vector Fields H(2|0). 94-99
Electronic Edition (link) BibTeX
A. M. Mitichkina:
Implementation of an Algorithm for Finding Analyticity Conditions for a Solution of a Difference Equation. 100-103
Electronic Edition (link) BibTeX
Sergey V. Zelenov, Sophia A. Zelenova, Alexander Kossatchev, Alexandre Petrenko:
Test Generation for Compilers and Other Formal Text Processors. 104-111
Electronic Edition (link) BibTeX
V. V. Panyukov:
Construction of the Convex Hull of a Set for a Minimum Number of Iterations. 112-119
Electronic Edition (link) BibTeX

Volume 29, Number 3, May 2003

Victor V. Toporkov:
Decidability of the Analysis Problem for Dataflow Models of Programs. 121-129
Electronic Edition (link) BibTeX
Alexandre V. Zamulin:
An ASM-based Formal Model of a Java Program. 130-139
Electronic Edition (link) BibTeX
S. V. Coox:
Axiomatization of the Evolution of XML Database Schema. 140-146
Electronic Edition (link) BibTeX
Pierfrancesco Bellini, M. Buonopane, Paolo Nesi:
Assessment of a Flexible Architecture for Distributed Control*. 147-160
Electronic Edition (link) BibTeX
V. A. Vasenin, V. V. Korneev, M. Yu. Landina, V. A. Roganov:
Functional Active Monitoring System FLAME. 161-172
Electronic Edition (link) BibTeX
Nickolai A. Likhoded:
Distribution of Operations and Data Arrays over Processors. 173-179
Electronic Edition (link) BibTeX

Volume 29, Number 4, July 2003

The Jubilee of Svyatoslav Sergeevich Lavrov. 181-182
Electronic Edition (link) BibTeX
L. N. Korolev:
From the Editor of the Special Issue. 183-186
Electronic Edition (link) BibTeX
A. Yu. Dorogov:
Implementation of Spectral Transformations in the Class of Fast Neural Networks. 187-198
Electronic Edition (link) BibTeX
V. A. Kostenko, A. V. Vinokurov:
Locally Optimal Algorithms for Designing Schedules Based on Hopfield Networks. 199-209
Electronic Edition (link) BibTeX
Alexander Zhirkov, D. N. Kortchagine, A. S. Lukin, A. S. Krylov, Yuri Bayakovskii:
Graphic Representation Method and Neural Network Recognition of Time-Frequency Vectors of Speech Information. 210-218
Electronic Edition (link) BibTeX
M. I. Markin:
Synthesis of Neural Network-Based Approximators with Heterogeneous Architecture. 219-227
Electronic Edition (link) BibTeX
Mikhail Petrovskiy:
Outlier Detection Algorithms in Data Mining Systems. 228-237
Electronic Edition (link) BibTeX

Volume 29, Number 5, September 2003

D. Yu. Buryak, Yu. V. Vizil'ter:
Automated Construction of Identification Procedures for Objects Belonging to Several Classes. 239-244
Electronic Edition (link) BibTeX
Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin:
Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case. 245-258
Electronic Edition (link) BibTeX
Alexandre V. Zamulin:
Formal Semantics of Java Expressions and Statements. 259-270
Electronic Edition (link) BibTeX
Rimma I. Podlovchenko:
On Program Schemes with Commuting and Monotone Operators. 270-276
Electronic Edition (link) BibTeX
V. A. Vasenin, E. E. Dolgalev:
ProXForms Language at the Stage of Web Technologies Evolution from HTML Forms to XForms. 277-282
Electronic Edition (link) BibTeX
L. G. Novak, Sergei D. Kuznetsov:
Canonical Forms of XML Schemas. 283-293
Electronic Edition (link) BibTeX

Volume 29, Number 6, November 2003

On the 75th Birthday of Vladimir Vasil'evich Lipaev. 295-295
Electronic Edition (link) BibTeX
Alexandre Petrenko:
Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal. 296-297
Electronic Edition (link) BibTeX
Vladimir Vasil'evich Lipaev:
A Methodology of Verification and Testing of Large Software Systems. 298-309
Electronic Edition (link) BibTeX
Victor V. Kuliamin, Alexandre Petrenko, Alexander Kossatchev, Igor B. Burdonov:
The UniTesK Approach to Designing Test Suites. 310-322
Electronic Edition (link) BibTeX
L. Ol'khovich, D. V. Koznov:
OCL-Based Automated Validation Method for UML Specifications. 323-327
Electronic Edition (link) BibTeX
Alexandre V. Zamulin:
Algebraic Semantics of an Imperative Programming Language. 328-337
Electronic Edition (link) BibTeX
V. A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky:
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language. 338-350
Electronic Edition (link) BibTeX