Compositional programming: theory and practice K. M. Lavrischeva Cybernetics 25 November 2009 Pages: 845 - 853
Algebraic-algorithmic means for designing knowledge of object domains G. Ye. TseytlinL. M. Zakhariya OriginalPaper 25 November 2009 Pages: 854 - 863
Composition-nominative aspects of address programming M. S. Nikitchenko OriginalPaper 27 November 2009 Pages: 864 - 874
An algorithm for constructing the basis of the solution set for systems of linear Diophantine equations over the ring of integers S. L. Kryvyi OriginalPaper 26 November 2009 Pages: 875 - 880
Model identification and state estimation in grid systems S. I. LavrenyukA. Yu. Shelestov OriginalPaper 25 November 2009 Pages: 881 - 888
Some aspects of algorithm transformation based on the formalization of information connections V. G. Akulovskiy OriginalPaper 25 November 2009 Pages: 889 - 893
Interoperability of the national system of electronic digital signatures A. O. MelashchenkoO. L. Perevozchikova Systems Analysis 25 November 2009 Pages: 894 - 901
Application of SCIT supercomputers to develop and execute parallel geophysical programs V. G. TulchinskyP. G. Tulchinsky OriginalPaper 26 November 2009 Pages: 902 - 915
Quasioptimal smoothing as a tool for the analysis of complex semistructured dynamic processes N. D. PankratovaT. V. PodladchikovaD. G. Strelkov OriginalPaper 26 November 2009 Pages: 916 - 923
Developing the Inparcom family of cluster complexes I. N. MolchanovO. L. PerevozchikovaA. N. Khimich OriginalPaper 26 November 2009 Pages: 924 - 931
Cluster-based computational portal for control over computations on a supercomputer complex A. A. YakubaA. L. GolovinskiyD. A. Efremenyuka Software-Hardware Systems 26 November 2009 Pages: 932 - 940
Measuring the performance of parallel computers with distributed memory R. A. Iushchenko OriginalPaper 26 November 2009 Pages: 941 - 951
A conception for creating a system of parametric design of parallel algorithms and their software implementations S. D. PogorilyyI. Yu. Shkulipa OriginalPaper 26 November 2009 Pages: 952 - 958
Supercomputer technology for simulating life cycles of extracomplicated technical objects Ya. E. Slobodyan OriginalPaper 26 November 2009 Pages: 959 - 965
Integrated project management system V. V. KryzhanovskyyS. N. Popov OriginalPaper 26 November 2009 Pages: 966 - 970
An integrated technology for intelligent software risk management O. A. SlabospickayaG. Koval New Means of Cybernetics, Informatics, Computer Engineering, and System Analysis 26 November 2009 Pages: 971 - 976
Standardization of system and software engineering in Ukraine P. I. AndonL. D. Babko OriginalPaper 26 November 2009 Pages: 977 - 981
Category-theoretic formalization in designing fuzzy intelligent systems N. ParasyukS. V. Yershov OriginalPaper 26 November 2009 Pages: 982 - 987
Best Chebyshev approximation of functions of one and many variables A. A. Kalenchuk-Porkhanova OriginalPaper 26 November 2009 Pages: 988 - 996
Exploring the properties of MSC documents by translating them into Petri nets S. L. KryvyiO. V. ChugayenkoL. E. Matveeva OriginalPaper 26 November 2009 Pages: 997 - 1003
Program-algorithmic methods to improve the accuracy of computer solutions E. A. NikolaevskayaT. V. Chistyakova OriginalPaper 26 November 2009 Pages: 1004 - 1007
Properties of a relational framework synthesized over a set of semantically atomic predicates B. E. PanchenkoI. M. Pysanko OriginalPaper 26 November 2009 Pages: 1008 - 1012