default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgramming 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 - Chunlin Li, Zhengding Lu, Layuan Li:
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
, Alexander 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 S. 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 - Valery 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 S. 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
- Alexander K. 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 S. Kossatchev, Igor B. Burdonov:
The UniTesK Approach to Designing Test Suites. 310-322 - L. Ol'khovich, Dmitrij V. Koznov:
OCL-Based Automated Validation Method for UML Specifications. 323-327 - Alexandre V. Zamulin:
Algebraic Semantics of an Imperative Programming Language. 328-337 - Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky:
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language. 338-350
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-08 01:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
