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
  
• N. V. Bocharov:
  Concurrent Programming Technologies and Techniques. 2-12
  
• G. A. Tarnavsky, Vitalii A. Vshivkov, A. G. Tarnavsky:
  Parallelization of Algorithms and Codes of the Computational System "Potok-3". 13-27
  
• Li Chunlin, Zhengding Lu, Li Layuan:
  Design and Implementation of a Hybrid Agent Platform. 28-42
  
• V. E. Khachatryan:
  Complete System of Equivalent Transformations for Multitape Automata. 43-54
  

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

Volume 29, Number 3, May 2003

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

Volume 29, Number 4, July 2003

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

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
  
• Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin:
  Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case. 245-258
  
• Alexandre V. Zamulin:
  Formal Semantics of Java Expressions and Statements. 259-270
  
• Rimma I. Podlovchenko:
  On Program Schemes with Commuting and Monotone Operators. 270-276
  
• V. A. Vasenin, E. E. Dolgalev:
  ProXForms Language at the Stage of Web Technologies Evolution from HTML Forms to XForms. 277-282
  
• L. G. Novak, Sergei D. Kuznetsov:
  Canonical Forms of XML Schemas. 283-293
  

Volume 29, Number 6, November 2003

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

Last update Fri May 24 20:44:05 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page