Structured translator from a high-level language E. L. YushchenkoS. N. BerestovayaG. V. Tyutyuma OriginalPaper Pages: 717 - 725
Identical transformations in algebras of nondeterministic algorithms. I Yu. A. Yushchenko OriginalPaper Pages: 726 - 735
Implementation of transformations in problem-oriented systems I. D. Vaisband OriginalPaper Pages: 736 - 742
Formalized complexity analysis based on a priori investigation of the properties of algorithms and data structures G. P. Kozhevnikova OriginalPaper Pages: 743 - 747
Efficient algorithm for equivalent transformations of grid models O. N. Vazhenin OriginalPaper Pages: 747 - 752
Program testing: Specification languages and automatic test generation A. A. Kalnin'shYu. V. Borzov OriginalPaper Pages: 753 - 762
Algorithm to find invariant linear inequality constraints in programs S. G. Raksha OriginalPaper Pages: 762 - 769
Some solvable cases of the problem of constructing a complete system of test cases A. G. Tadevosyan OriginalPaper Pages: 769 - 774
Deterministic asynchronous interpretation of parallel microprograms S. M. Achasova OriginalPaper Pages: 775 - 783
Sequential algorithm for the solution of problems of combinatorial optimization on permutations A. N. Khodzinskii OriginalPaper Pages: 788 - 795
ɛ-Subgradient mapping and the problem of convex optimization E. A. Nurminskii OriginalPaper Pages: 796 - 800
Solution of one problem of optimal partition of the vertex set of a hypergraph S. N. Trushin OriginalPaper Pages: 801 - 812
Search for a global extremum in a certain subclass of functions with the Lipschitz condition O. I. Strigul' OriginalPaper Pages: 812 - 819
Gradient methods of maximization of convex functions on discrete structures M. M. Kovalev OriginalPaper Pages: 819 - 830
Normal approximation of the distribution of the optimum point in the data processing problem by the method of least moduli A. V. BorshchevskiiA. V. Ivanov OriginalPaper Pages: 831 - 839
Uses of computers in the nationwide project on documenting the second world war B. N. Pan'shinN. E. Popenko OriginalPaper Pages: 850 - 857
Certain properties of the estimates of the regression parameters under a priori constraint-inequalities A. S. Korkhin OriginalPaper Pages: 858 - 870