Generation of parallel programs from nonprocedural specifications S. P. Gorlach OriginalPaper Pages: 7 - 13
Axiomatic semantics of R-schemas and verification of graphic programs I. V. KasatkinaA. L. KovalevS. V. Ershov OriginalPaper Pages: 22 - 31
Superhigh-level language PARIS V. D. KorneevN. N. MirenkovA. Sh. Nepomnyashchaya OriginalPaper Pages: 39 - 42
On mutual underivability of compositions in the minimal composition language MCL D. B. BuiV. V. Pogosyan OriginalPaper Pages: 43 - 46
Classes of conjugate elements of the unitriangular group P. M. GudivokYu. V. KapitonovaA. I. Tsitkin OriginalPaper Pages: 47 - 57
Basic principles of construction of interpreter systems for problem-oriented languages in science and engineering V. P. Klimenko OriginalPaper Pages: 58 - 67
Query parallelization methods for DBMS F. I. AndonA. M. Mar'yanchikB. E. Polyachenko OriginalPaper Pages: 68 - 77
Calculating viscous incompressible flow past an elliptical cylinder on a parallel computer N. A. BikI. N. MolchanovM. F. Yakovlev OriginalPaper Pages: 78 - 84
Interrelationship between regularity conditions in convex programming B. N. PshenichnyiFan' Syan'lin OriginalPaper Pages: 85 - 89
Necessary and sufficient condition of extremum for the Lebesgue-Stieltjes integral on a class of distributions L. S. Stoikova OriginalPaper Pages: 90 - 95
Solution of single-product nonlinear programming problem with joint constraints A. A. EgorushkinN. B. Zyabrev OriginalPaper Pages: 95 - 101
A polynomial-time simplex type method for solving linear systems of inequalities L. M. Brégman OriginalPaper Pages: 106 - 110
The completeness problem in the algebra of partial functions of finite-valued logic B. A. Romov OriginalPaper Pages: 133 - 138
A mathematical model of evolution of biological populations B. B. Dunaev OriginalPaper Pages: 138 - 143