Programming and Computer Software, Volume 27 (original) (raw)



default search action
- combined dblp search
- author search
- venue search
- publication search
Authors:
- no matches

Venues:
- no matches

Publications:
- no matches



SPARQL queries 
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
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.
Unpaywalled article links
Add open access links from
to the list of external document links (if available).
load links from unpaywall.org
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the
of the Internet Archive (if available).
load content from archive.org
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from
,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from
and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from
.
load data from openalex.org
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:







