1. A new double sorting-based node splitting algorithm for R-tree

   • A. Korotkov

   OriginalPaper 25 May 2012 Pages: 109 - 118

2. Background optimization in full system binary translation

   • R. A. Sokolov
   • A. V. Ermolovich

   OriginalPaper 25 May 2012 Pages: 119 - 126

3. On deriving test suites for nondeterministic finite state machines with time-outs

   • N. V. Shabaldina
   • R. F. Galimullin

   OriginalPaper 25 May 2012 Pages: 127 - 133

4. Experience of improving the blast static verification tool

   • P. E. Shved
   • V. S. Mutilin
   • M. U. Mandrykin

   OriginalPaper 25 May 2012 Pages: 134 - 142

5. Optimal grouping algorithm of identically distributed systems

   • N. S. Kovalenko
   • P. A. Pavlov

   OriginalPaper 25 May 2012 Pages: 143 - 149

6. On laplace and Dini transformations for multidimensional equations with a decomposable principal symbol

   • E. I. Ganzha

   OriginalPaper 25 May 2012 Pages: 150 - 155

7. Hamiltonian normalization in the restricted many-body problem by computer algebra methods

   • A. N. Prokopenya

   OriginalPaper 25 May 2012 Pages: 156 - 166