A new double sorting-based node splitting algorithm for R-tree A. Korotkov OriginalPaper 25 May 2012 Pages: 109 - 118
Background optimization in full system binary translation R. A. SokolovA. V. Ermolovich OriginalPaper 25 May 2012 Pages: 119 - 126
On deriving test suites for nondeterministic finite state machines with time-outs N. V. ShabaldinaR. F. Galimullin OriginalPaper 25 May 2012 Pages: 127 - 133
Experience of improving the blast static verification tool P. E. ShvedV. S. MutilinM. U. Mandrykin OriginalPaper 25 May 2012 Pages: 134 - 142
Optimal grouping algorithm of identically distributed systems N. S. KovalenkoP. A. Pavlov OriginalPaper 25 May 2012 Pages: 143 - 149
On laplace and Dini transformations for multidimensional equations with a decomposable principal symbol E. I. Ganzha OriginalPaper 25 May 2012 Pages: 150 - 155
Hamiltonian normalization in the restricted many-body problem by computer algebra methods A. N. Prokopenya OriginalPaper 25 May 2012 Pages: 156 - 166