default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgramming and Computer Software, Volume 27
Volume 27, Number 1, January 2001
- Sergei A. Abramov
, Alexander P. Kryukov, V. A. Rostovtsev:
The Scientific Research Seminar on Computer Algebra in 1999-2000. 1-3 - S. I. Serdyukova:
Solution of the Inverse Problem for the Two-Dimensional Discrete Schrödinger Equation Using REDUCE. 4-5 - A. M. Mitichkina, Anna A. Ryabenko:
Representation of Algebraic Functions As Power and Fractional Power Series of Special Type. 6-11 - Denis E. Khmelnov:
MEG-Eliminations. 12-17 - Alexander Gusev, V. N. Samoilov, V. A. Rostovtsev, Sergey I. Vinitsky:
Algebraic Perturbation Theory for Hydrogen Atom in Weak Electric Fields. 18-21 - Vladimir P. Gerdt, D. A. Yanovich, Yuri A. Blinkov:
Fast Search for the Janet Divisor. 22-24 - Marina V. Kondratieva, V. A. Mityunin:
Computation of the Differential Dimension Polynomial When Changing Generators in the Dirac Equations. 25-28 - A. V. Niukkanen, P. A. Niukkanen:
Diagram Technique for Hypergeometric Series of Several Variables. 29-34 - Ha Q. Le:
On the q-Analogue of Zeilberger's Algorithm to Rational Functions. 35-42 - M. V. Sosnin:
An Algorithm for Nonparametric Decomposition of Differential Polynomials. 43-49 - V. M. Mikhelev:
Data Definition in the Programming Language MARKIZ. 50-56
Volume 27, Number 2, March 2001
- Igor V. Pottosin:
Preface to the Special Issue of the Journal. 57 - Valery A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Sergey P. Mylnikov, E. V. Okunishnikova, P. A. Chubarev, Tatiana G. Churina:
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets. 58-68 - Danil E. Baburin, Mikhail A. Bulyonkov, Pavel G. Emelianov, N. N. Filatkina:
Visualization Facilities in Program Reengineering. 69-77 - S. I. Katkov, Igor V. Pottosin:
Support Facilities for Development of Parallel Computational Algorithms. 78-85 - S. K. Chernonozhkin:
Automated Test Generation and Static Analysis. 86-94 - Evgueni S. Petrov, Tatyana M. Yakhno:
Subdefinite Models and Logic Programming: Implementation of Constraints. 95-100 - M. Yu. Loenko:
Evaluating Elementary Functions with Guaranteed Precision. 101-110
Volume 27, Number 3, May 2001
- Alexey Ya. Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Mikhail Posypkin:
Compilation of Vector Statements of C[] Language for Architectures with Multilevel Memory Hierarchy. 111-122 - Victor A. Krukov, R. V. Udovichenko:
Debugging DVM Programs. 123-129 - E. A. Zhogolev:
Graphical Editors and Graphic Grammars. 130-138 - Yuri A. Blinkov:
Method of Separative Monomials for Involutive Divisions. 139-141 - Vladimir V. Kornyak:
Computation of Cohomologies of Lie Superalgebras: Algorithm and Implementation. 142-145 - Victor N. Kasyanov:
Graph Applications in Programming. 146-164 - Lidiya V. Gorodnyaya, V. D. Irtegov, N. N. Nepeivoda, Igor V. Pottosin, Tatiana G. Churina:
All-Siberian Open Olympiad in Programming (Novosibirsk State University). 165-167
Volume 27, Number 4, July 2001
- Victor E. Malyshkin:
From the Editor of the Special Issue on Parallel Computations. 169-169 - Olga L. Bandman:
Fine-Grained Parallelism in Computational Mathematics. 170-182 - Irina A. Lomazova:
Recursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility. 183-193 - S. V. Bakhanovich, Nickolai A. Likhoded:
A Method for Parallelizing Algorithms by Vector Scheduling Functions. 194-199 - A. S. Nepomniaschaya:
Representation of Edmonds' Algorithm for Finding Optimum Graph Branching on Associative Parallel Processors. 200-206 - V. A. Torgashev, I. V. Tsarev:
Means for Organization of Parallel Computations and Programming for Multiprocessors with Dynamic Architecture. 207-216 - Alexander P. Vazhenin, Nikolay N. Mirenkov:
Visual Programming System VIM. 217-226
Volume 27, Number 5, September 2001
- Vladimir L. Averbukh:
Visualization Metaphors. 227-237 - Victor V. Toporkov:
Satisfiability of Dataflow Models of Distributed Programs. 238-244 - A. G. Tormasov, M. A. Khasin, Yu. I. Pakhomov:
Ensuring Fault-Tolerance in Distributed Media. 245-251 - Vladimir V. Prokhorov, D. V. Smirnov:
A Model of Estimation and Optimization of Expenditures in Multilevel Fuzzy Environments. 252-259 - Anatoly A. Shalyto, N. I. Tukkel:
SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems. 260-276 - B. F. Melnikov:
Heuristics in Programming of Nondeterministic Games. 277-288
Volume 27, Number 6, November 2001
- Svyatoslav Sergeevich Lavrov:
On the Relationship between Foundations of Programming and Mathematics. 289-296 - Leonid B. Sokolinsky:
Organization of Parallel Query Processing in Multiprocessor Database Machines with Hierarchical Architecture. 297-308 - Nikolay A. Anisimov, Evgeniy A. Golenkov, Dmitriy I. Kharitonov:
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems. 309-319 - A. M. Gorelik:
Up-to-Date International Standards of the Fortran Programming Language. 320-328 - Michael Okhtilev:
Construction of Programs for Real-Time Processing and Analysis of Measuring Information. 329-335 - V. A. Koloskov, M. V. Medvedeva:
Models of Active Environment of Self-Organization of Fault-Tolerant Multimicrocontroller. 336-344 - E. A. Zhogolev:
The Research Workshop on Computer-Aided Programming in 1999-2000 and 2000-2001 Academic Years. 345-347
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-12-09 23:26 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:
