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, Igor 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

last updated on Sat May 18 06:32:19 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page