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
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
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
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
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
Simulation and rendering algorithms for optically complex materials by the example of fabric. 237-246
Volume 36, Number 5, September 2010
- Igor B. Bourdonov
Interaction semantics with refusals, divergence, and destruction. 247-263 - Vitaly A. Semenov, K. V. Dragalov, Denis V. Ilyin, Sergei V. 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
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-12-29 20:17 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: