External Links

    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
    runs on