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, S. 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, A. 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, D. E. Khmelnov:
  Hypergeometric pattern matching summation in maple. 87-96
  
• O. V. Kaptsov:
  Ideals of differential operators and transformations of linear partial differential equations. 97-102
  
• A. 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 Virbitskaite, Natalya Gribovskaya:
  Unifying behavioral equivalences of timed transition systems. 138-148
  
• B. Stamatovich:
  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
  
• R. 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
  
• A. G. Voloboi, V. 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 Kossatchev:
  Interaction semantics with refusals, divergence, and destruction. 247-263
  
• Vitaly Semenov, K. V. Dragalov, D. 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, N. N. Kuzyurin, A. I. Pospelov, Alexander 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
  

Last update Mon May 20 02:47:21 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page