![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Programming and Computer Software, Volume 36
Volume 36, Number 1, January 2010
- E. V. Kuzmin, Valery A. Sokolov
, D. Ju. Chalyy:
Boundedness problems for Minsky counter machines. 3-10 - Denis Turdakov
, Sergei D. Kuznetsov
:
Automatic word sense disambiguation based on document networks. 11-18 - R. Nuriyev:
Detection of parallel executable steps for programs with arrays. 19-27 - E. V. Kornykhin:
Generation of test data for verification of caching mechanisms and address translation in microprocessors. 28-35 - R. N. Shakirov:
The use of error detection and compensation techniques for testing the integer class cBigNumber. 36-47 - F. A. Novikov, V. B. Novoseltsev:
Interpretable program specification language. 48-57
Volume 36, Number 2, March 2010
- Sergei A. Abramov
, Alla A. Bogolyubskaya, V. A. Rostovtsev, Victor F. Edneral
:
The research seminar on computer Algebra in 2008-2009. 59-62 - Sergei A. Abramov
:
On an undecidable problem related to difference equations with parameters. 63-67 - Dzmitry A. Budzko, Alexander N. Prokopenya
:
Symbolic-numerical analysis of equilibrium solutions in a restricted four-body problem. 68-74 - A. I. Zobnin:
Generalization of the F5 algorithm for calculating Gröbner bases for polynomial ideals. 75-82 - M. V. Kondratieva:
An upper bound for minimizing coefficients of dimension Kolchin polynomial. 83-86 - Anna A. Ryabenko
, Denis E. Khmelnov
:
Hypergeometric pattern matching summation in maple. 87-96 - Oleg V. Kaptsov:
Ideals of differential operators and transformations of linear partial differential equations. 97-102 - Alexey A. Kytmanov
:
An algorithm for calculating power sums of roots for a class of systems of nonlinear equations. 103-110 - Vladimir P. Gerdt, Alexander N. Prokopenya
:
Some algorithms for calculating unitary matrices for quantum circuits. 111-116 - Vladimir P. Gerdt, Mikhail V. Zinin, Yuri A. Blinkov
:
On computation of Boolean involutive bases. 117-123
Volume 36, Number 3, May 2010
- Rimma I. Podlovchenko:
Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation. 125-137 - Irina B. Virbitskaite, Natalya Gribovskaya
:
Unifying behavioral equivalences of timed transition systems. 138-148 - Biljana Stamatovic
:
Automaton recognition of doubly connected labyrinths with finite cyclic diameter. 149-156 - Alexei Lisitsa, Andrei P. Nemytykh:
On one application of computations with oracle. 157-165 - A. N. Filippov:
Development of the value numbering method. 166-176 - Roman B. Steinberg:
Mapping loop nests to multipipelined architecture. 177-185
Volume 36, Number 4, July 2010
- Vladimir A. Bashkin
:
Formalization of semantics of systems with unreliable agents by means of nets of active resources. 187-196 - I. A. Bessmertny:
Knowledge visualization based on semantic networks. 197-204 - Andrey V. Lepikhov, Leonid B. Sokolinsky
:
Query processing in a DBMS for cluster systems. 205-215 - Maxim Gromov
, Nina Yevtushenko:
Synthesis of distinguishing test cases for timed finite state machines. 216-224 - I. K. Isaev, D. V. Sidorov:
The use of dynamic analysis for generation of input data that demonstrates critical bugs and vulnerabilities in programs. 225-236 - Alexey G. Voloboi
, Vladimir A. Galaktionov, N. A. Lobalzo:
Simulation and rendering algorithms for optically complex materials by the example of fabric. 237-246
Volume 36, Number 5, September 2010
- Igor B. Bourdonov
, Alexander S. Kossatchev
:
Interaction semantics with refusals, divergence, and destruction. 247-263 - Vitaly A. Semenov, K. V. Dragalov, Denis V. Ilyin, Sergei Morozov, O. V. Sidyaka:
On complementary principles of object-oriented constraint programming. 264-275 - A. A. Kalenkova
:
Application of if-conversion to verification and optimization of workflows. 276-288 - Victor V. Kuliamin
:
Component architecture of model-based testing environment. 289-305
Volume 36, Number 6, November 2010
- Denis Turdakov
:
Word sense disambiguation methods. 309-326 - V. P. Ivannikov, Dmitry Grushin, Nikolay N. Kuzyurin, A. I. Pospelov, Alexander V. Shokurov:
Software for improving the energy efficiency of a computer cluster. 327-336 - M. A. Trushnikov:
On one problem of construction of energy-saving schedules. 337-342 - E. N. Troshina, A. V. Chernov:
Using information obtained in the course of program execution for improving the quality of data type reconstruction in decompilation. 343-362 - D. S. Ivanov:
Register allocation with instruction scheduling for VLIW-architectures. 363-367
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.