Boundedness problems for Minsky counter machines E. V. KuzminV. A. SokolovD. Yu. Chalyy OriginalPaper 09 February 2010 Pages: 3 - 10
Automatic word sense disambiguation based on document networks D. Yu. TurdakovS. D. Kuznetsov OriginalPaper 09 February 2010 Pages: 11 - 18
Detection of parallel executable steps for programs with arrays R. Nuriyev OriginalPaper 09 February 2010 Pages: 19 - 27
Generation of test data for verification of caching mechanisms and address translation in microprocessors E. V. Kornykhin OriginalPaper 09 February 2010 Pages: 28 - 35
The use of error detection and compensation techniques for testing the integer class cBigNumber R. N. Shakirov OriginalPaper 09 February 2010 Pages: 36 - 47
Interpretable program specification language F. A. NovikovV. B. Novoseltsev OriginalPaper 09 February 2010 Pages: 48 - 57