Programming and Computer Software, Volume 28

Volume 28, Number 1, January 2002

• V. A. Nepomniaschy:
  Verification of Finite Iterations over Tuples of Data Structures. 1-8
  
• G. Shukovich:
  Application of Genetic Algorithms and Systems of Generating Graphs for Creation of Modular Neural Networks. 9-14
  
• E. G. Sukhov:
  Recursive Cell Rotation Method. 15-19
  
• V. A. Galatenko, K. A. Kostyukhin:
  Debugging and Monitoring Distributed Heterogeneous Systems. 20-27
  
• Arutyun Avetisyan, Serguei Gaissaryan, Oleg Samovarov:
  Possibilities of Optimal Execution of Parallel Programs Containing Simple and Iterated Loops on Heterogeneous Parallel Computational Systems with Distributed Memory. 28-40
  
• V. V. Khodorovskii:
  On Normalization of Relations in Relational Databases. 41-52
  
• Alexandre V. Zamulin:
  Information on the International Conference "Perspectives of System Informatics". 53-56
  

Volume 28, Number 2, March 2002

• Igor Vasil'evich Pottosin (February 21, 1933-December 15, 2001). 57-58
  
• Sergei A. Abramov, A. P. Kryukov, V. A. Rostovtsev:
  The Scientific Research Seminar on Computer Algebra in 2000-2001. 59-61
  
• Vladimir P. Gerdt:
  On an Algorithmic Optimization in Computation of Involutive Bases. 62-65
  
• D. A. Yanovich:
  Parallelization of an Algorithm for Computation of Involutive Janet Bases. 66-69
  
• O. S. Paramonova, A. W. Niukkanen:
  Computer-Aided Analysis of Transformation Formulas for Appel and Horn Functions. 70-75
  
• Vladimir V. Kornyak:
  A Method of Splitting Cochain Complexes to Compute Cohomologies of Lie (Super)algebras. 76-80
  
• M. V. Kondratéva:
  Examples of Computation of Generators of a Differential Ideal by Its Characteristic Set. 81-83
  
• Yu. G. Palii:
  Correction of Numerical Integration as an Optimal Control Problem. 84-87
  
• V. V. Kislenkov:
  Approaches to Expedite Function Computation on Dense Grids. 88-91
  
• Anna A. Ryabenko:
  Formal Solutions of Linear Ordinary Differential Equations Containing m-Hypergeometric Series. 92-101
  
• D. E. Khmelnov:
  Basis Selection in Solving Linear Functional Equations. 102-105
  
• Rimma I. Podlovchenko:
  Equivalent Transformations of Program Schemes for "Entangling" Programs. 106-116
  

Volume 28, Number 3, May 2002

• On the 70th Anniversary of the Birth of Eduard Zinov'evich Lyubimskii. 117-118
  
• S. A. Nigiyan, S. A. Avetisyan:
  Semantics of Untyped Functional Programs. 119-126
  
• Jean-Claude Royer:
  An Operational Approach to the Semantics of Classes: Application to Type Checking. 127-147
  
• V. L. Arlazarov, A. S. Loginov, O. A. Slavin:
  Characteristics of Optical Text Recognition Programs. 148-161
  
• V. A. Kostenko:
  The Problem of Schedule Construction in the Joint Design of Hardware and Software. 162-173
  
• Igor A. Zhuklinets, Denis A. Khotimsky:
  Logical Time in Distributed Software Systems. 174-184
  

Volume 28, Number 4, July 2002

• Mikhail R. Kogalovsky:
  Digital Libraries: Ongoing Development (From the Editor of the Special Issue). 185-188
  
• Maxim Grinev, Sergei D. Kuznetsov:
  UQL: A UML-based Query Language for Integrated Data. 189-196
  
• K. Yu. Lisovsky:
  XML Applications Development in Scheme. 197-206
  
• Igor Nekrestyanov, N. V. Panteleeva:
  Text Retrieval Systems for the Web. 207-225
  
• I. E. Kuralenok, I. S. Nekrestyanov:
  Evaluation of Text Retrieval Systems. 226-242
  

Volume 28, Number 5, September 2002

• Alexander Okhotin:
  Conjunctive Grammars and Systems of Language Equations. 243-249
  
• A. A. Shalyto, N. I. Tukkel:
  Translating Iterative Algorithms into Automaton Ones. 250-260
  
• N. I. V'yukova, V. A. Galatenko, S. V. Samborskii, S. M. Shumakov:
  Effective Code Generation for Processor Architectures with Explicit Parallelism. 261-279
  
• Rafael Corchuelo, José Antonio Pérez, Antonio Ruiz Cortés:
  Multi-Party Coordination in the Context of MOWS. 280-289
  
• Yuri A. Blinkov:
  Computation of Janet Bases for Toric Ideals. 290-292
  
• S. V. Agoshkov, P. A. Dmitriev:
  Electronic Publication Maintenance Systems. 293-300
  

Volume 28, Number 6, November 2002

• Rimma I. Podlovchenko:
  Equivalent Transformations in the Model of Programs with Commuting and Monotone Operators. 301-313
  
• V. A. Nepomniaschy, Igor S. Anureev, I. N. Mikhailov, Alexey V. Promsky:
  Towards Verification of C Programs. C-Light Language and Its Formal Semantics. 314-323
  
• A. V. Nikitin, L. I. Nikitina:
  Evolutionary Model of Optimization of Modular Associative Memory for Dataflow Machines Based on Genetic Algorithm. 324-332
  
• Alexey Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Mikhail Posypkin:
  Refined Description of the C[] Language. 333-341
  
• Vladimir V. Mazalov, D. N. Zhuravlev:
  A Method of Cumulative Sums in the Problem of Detection of Traffic Changes in Computer Networks. 342-348
  
• A. P. Shibanov:
  A Software Implementation Technique for Simulation of Ethernet Local Area Networks. 349-355
  
• Leonid A. Kalinichenko, Mikhail R. Kogalovsky, Sergei D. Kuznetsov:
  Tenth Anniversary of ACM SIGMOD Moscow Chapter. 356-359