Journal: Programming and Computer Software

Volume 36, Issue 6

309 -- 326Denis Turdakov. Word sense disambiguation methods
327 -- 336V. P. Ivannikov, Dmitry Grushin, N. N. Kuzyurin, A. I. Pospelov, Alexander Shokurov. Software for improving the energy efficiency of a computer cluster
343 -- 362E. N. Troshina, A. V. Chernov. Using information obtained in the course of program execution for improving the quality of data type reconstruction in decompilation

Volume 36, Issue 5

247 -- 263Igor B. Bourdonov, Alexander Kossatchev. Interaction semantics with refusals, divergence, and destruction
264 -- 275Vitaly Semenov, K. V. Dragalov, D. V. Ilyin, Sergei Morozov, O. V. Sidyaka. On complementary principles of object-oriented constraint programming
276 -- 288A. A. Kalenkova. Application of if-conversion to verification and optimization of workflows
289 -- 305Victor V. Kuliamin. Component architecture of model-based testing environment

Volume 36, Issue 4

187 -- 196Vladimir A. Bashkin. Formalization of semantics of systems with unreliable agents by means of nets of active resources
197 -- 204I. A. Bessmertny. Knowledge visualization based on semantic networks
205 -- 215Andrey V. Lepikhov, Leonid B. Sokolinsky. Query processing in a DBMS for cluster systems
216 -- 224Maxim Gromov, Nina Yevtushenko. Synthesis of distinguishing test cases for timed finite state machines
225 -- 236I. K. Isaev, D. V. Sidorov. The use of dynamic analysis for generation of input data that demonstrates critical bugs and vulnerabilities in programs
237 -- 246A. G. Voloboi, V. A. Galaktionov, N. A. Lobalzo. Simulation and rendering algorithms for optically complex materials by the example of fabric

Volume 36, Issue 3

125 -- 137Rimma I. Podlovchenko. Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation
138 -- 148Irina Virbitskaite, Natalya Gribovskaya. Unifying behavioral equivalences of timed transition systems
149 -- 156Biljana Stamatovic. Automaton recognition of doubly connected labyrinths with finite cyclic diameter
157 -- 165Alexei Lisitsa, Andrei P. Nemytykh. On one application of computations with oracle
177 -- 185Roman B. Steinberg. Mapping loop nests to multipipelined architecture

Volume 36, Issue 2

59 -- 62Sergei A. Abramov, A. A. Bogolyubskaya, V. A. Rostovtsev, Victor F. Edneral. The research seminar on computer Algebra in 2008-2009
63 -- 67Sergei A. Abramov. On an undecidable problem related to difference equations with parameters
68 -- 74D. A. Budzko, Alexander N. Prokopenya. Symbolic-numerical analysis of equilibrium solutions in a restricted four-body problem
75 -- 82A. I. Zobnin. Generalization of the F5 algorithm for calculating Gröbner bases for polynomial ideals
87 -- 96Anna A. Ryabenko, D. E. Khmelnov. Hypergeometric pattern matching summation in maple
97 -- 102O. V. Kaptsov. Ideals of differential operators and transformations of linear partial differential equations
103 -- 110A. A. Kytmanov. An algorithm for calculating power sums of roots for a class of systems of nonlinear equations
111 -- 116Vladimir P. Gerdt, Alexander N. Prokopenya. Some algorithms for calculating unitary matrices for quantum circuits
117 -- 123Vladimir P. Gerdt, Mikhail V. Zinin, Yuri A. Blinkov. On computation of Boolean involutive bases

Volume 36, Issue 1

3 -- 10E. V. Kuzmin, Valery A. Sokolov, D. Yu. Chalyy. Boundedness problems for Minsky counter machines
11 -- 18Denis Turdakov, S. D. Kuznetsov. Automatic word sense disambiguation based on document networks
48 -- 57F. A. Novikov, V. B. Novoseltsev. Interpretable program specification language