researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Programming and Computer Software
Home
Index
Info
Volume
Volume
31
, Issue
6
293
--
300
L. Ya. Savel ev
.
An Algorithm for Partitioning a Set into Simple Parts
301
--
309
Victor V. Kuliamin
.
Test Sequence Construction Using Minimum Information on the Tested System
310
--
320
Sergey V. Zelenov
,
Sophia A. Zelenova
.
Generation of Positive and Negative Tests for Parsers
321
--
331
S. S. Gorelov
,
V. A. Vasenin
.
Search Optimization in Semistructured Databases Using Hierarchy of Document Schemas
332
--
339
O. G. Sharov
,
A. N. Afanas ev
.
Syntax-Directed Implementation of Visual Languages Based on Automaton Graphical Grammars
340
--
346
V. A. Kostenko
,
E. S. Gur yanov
.
An Algorithm for Scheduling Exchanges over a Bus with Centralized Control and an Analysis of Its Efficiency
347
--
349
Irina Virbitskaite
.
Information Announcement on Sixth International Andrei Ershov Memorial Conference Perspectives of System Informatics, 27-30 June 2006, Novosibirsk, Akademgorodok, Russia
Volume
31
, Issue
5
225
--
236
I. V. Konnov
,
Vladimir A. Zakharov
.
An Approach to the Verification of Symmetric Parameterized Distributed Systems
237
--
269
S. E. Bazhanov
,
V. P. Kutepov
,
D. A. Shestakov
.
Functional Parallel Typified Language and Its Implementation on Clusters
270
--
281
Nickolai A. Likhoded
,
S. V. Bakhanovich
,
A. V. Zherelo
.
Obtaining Affine Transformations to Improve Locality of Loop Nests
282
--
291
B. Kh. Barladian
,
A. G. Voloboi
,
N. I. V yukova
,
V. A. Galaktionov
,
N. B. Deryabin
.
Illumination Modeling and Generation of Realistic Images Using Internet Technologies
Volume
31
, Issue
4
167
--
178
S. D. Shtovba
.
Ant Algorithms: Theory and Applications
179
--
189
F. M. Puchkov
,
K. A. Shapchenko
.
Static Analysis Method for Detecting Buffer Overflow Vulnerabilities
190
--
196
V. M. Mikhelev
.
Specific Features of the Control Structure in the Programming Language MARKIZ
197
--
210
A. V. Leonov
,
R. R. Khusnutdinov
.
Study and Development of the DTD Generation System for XML Documents
211
--
223
O. A. Slavin
.
Recognition Algorithms for Structured Documents with Variable Content
Volume
31
, Issue
3
111
--
112
.
On the Jubilee of Nikolai Petrovich Brusentsov s Birth
113
--
122
Rimma I. Podlovchenko
,
Dmitry M. Rusakov
.
Program Schemes with Constants
123
--
132
Victor V. Toporkov
,
A. S. Toporkova
.
Measuring the Execution Time of Fragmented Programs
133
--
148
D. A. Lizorkin
.
The Query Language to XML Documents Connected by XLink Links
149
--
156
S. L. Skorokhodov
,
D. V. Khristoforov
.
Overcoming Instability in Evaluation of Generalized Hypergeometric Integrals in the Case of Crowding of Singular Points
157
--
165
V. V. Monakhov
,
A. V. Kozhedub
,
P. A. Naumenko
,
L. A. Evstigneev
,
M. A. Krukelis
,
D. V. Solodovnikov
,
I. B. Kernitskii
.
BARSIC: A Programming System for Physicists
Volume
31
, Issue
2
51
--
55
Sergei A. Abramov
,
A. A. Bogolubskaya
,
V. A. Rostovtsev
,
Victor F. Edneral
.
The research seminar on computer algebra in 2003-2004
56
--
59
Sergey P. Tsarev
.
On the rational summation problem
60
--
64
S. P. Polyakov
.
Symbolic additive decomposition of rational functions
65
--
72
Anna A. Ryabenko
,
S. L. Skorokhodov
.
Asymptotics of sums of hypergeometric terms
73
--
80
Vladimir P. Gerdt
,
D. A. Yanovich
.
Parallel computation of Janet and Gröbner bases over rational numbers
81
--
86
A. S. Semenov
.
Involutive divisions: Slice and pair properties
87
--
90
Vladimir V. Kornyak
.
Cohomologies of restricted Lie algebras of Hamiltonian vector fields: Computer analysis
91
--
96
Marina V. Kondratieva
,
A. I. Ovchinnikov
.
Characteristic sets for ordinary differential equations
97
--
102
A. V. Mesyanzhin
.
On a method for finding the roots of an ideal
103
--
109
A. I. Bogolubsky
,
S. L. Skorokhodov
.
Construction of generalized Gauss-Jacobi quadratures by means of computer algebra methods
Volume
31
, Issue
1
1
--
9
V. A. Nepomniaschy
.
Symbolic method of verification of definite iterations over altered data structures
10
--
19
Alexander Kossatchev
,
Mikhail Posypkin
.
Survey of compiler testing methods
20
--
28
Alexey Kalinov
,
Konstantin Karganov
,
K. V. Khorenko
.
An approach to the development of debuggers that use semantics of constructs of parallel programs
29
--
33
Ekaterina Gorshkova
,
Boris Novikov
,
D. D. Belov
,
V. S. Gurov
,
S. V. Spiridonov
.
A UML-based modeling of web application controller
34
--
46
D. A. Lizorkin
,
K. Yu. Lisovsky
.
Implementation of the XML linking language XLink by functional methods