default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgramming and Computer Software, Volume 28
Volume 28, Number 1, January 2002
- Valery 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 I. 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, Alexander 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 - Denis 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 - Vladimir L. Arlazarov, A. S. Loginov, O. A. Slavin:
Characteristics of Optical Text Recognition Programs. 148-161 - Valery 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 S. Nekrestyanov, N. V. Panteleeva:
Text Retrieval Systems for the Web. 207-225 - I. E. Kuralenok, Igor 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 - Anatoly 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 - Valery 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 - Andrey V. Nikitin, Ludmila I. Nikitina:
Evolutionary Model of Optimization of Modular Associative Memory for Dataflow Machines Based on Genetic Algorithm. 324-332 - Alexey Ya. 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
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 2024-11-15 19:21 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:
