Volume 36, Number 1, January 2010
: Detection of parallel executable steps for programs with arrays.
E. V. Kornykhin
: Generation of test data for verification of caching mechanisms and address translation in microprocessors.
R. N. Shakirov
: The use of error detection and compensation techniques for testing the integer class cBigNumber.
Volume 36, Number 2, March 2010
Sergei A. Abramov
: On an undecidable problem related to difference equations with parameters.
A. I. Zobnin
: Generalization of the F5 algorithm for calculating Gröbner bases for polynomial ideals.
M. V. Kondratieva
: An upper bound for minimizing coefficients of dimension Kolchin polynomial.
O. V. Kaptsov
: Ideals of differential operators and transformations of linear partial differential equations.
A. A. Kytmanov
: An algorithm for calculating power sums of roots for a class of systems of nonlinear equations.
Volume 36, Number 3, May 2010
Rimma I. Podlovchenko
: Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation.
: Automaton recognition of doubly connected labyrinths with finite cyclic diameter.
R. B. Steinberg
: Mapping loop nests to multipipelined architecture.
Volume 36, Number 4, July 2010
Vladimir A. Bashkin
: Formalization of semantics of systems with unreliable agents by means of nets of active resources.
I. K. Isaev
, D. V. Sidorov
: The use of dynamic analysis for generation of input data that demonstrates critical bugs and vulnerabilities in programs.
Volume 36, Number 5, September 2010
Volume 36, Number 6, November 2010
M. A. Trushnikov
: On one problem of construction of energy-saving schedules.
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.
D. S. Ivanov
: Register allocation with instruction scheduling for VLIW-architectures.