• Home
• About
• Login
• Search
• Current
• Archives

Home > Archives > No 2-3 (2010)

Table of Contents

Theory and Methodology of Programming

The descriptive foundations of the ontological platform V.N Redko, I.V. Redko, V.N. Grishko

PDF (Русский) 13-21

About some approaches to calculating uncertainties A.I. Provotar, A.V. Lapko

PDF (Русский) 22-27

The problem of interoperability of heterogeneous objects, components and systems. Approaches to its solution E.M. Lavrischeva

PDF (Русский) 28-41

Compositional-nominative modal logics of the functional-equational level O.S. Shkilniak

PDF (Українська) 42-47

Compositional-nominative logics over hierarchical data M.S. Nikitchenko, S.S. Shkilniak

PDF (Українська) 48-57

Stability and monotonicity of programs for structural data transformations M.S. Nikitchenko, E.V. Iivanov

PDF (Українська) 58-67

Multisets: a bibliographic overview, construction of a lattice of multisets Yu.A. Bogatyreva

PDF (Русский) 68-71

The origin and interpretation of Kleene three-valued logics O.V. Shishatska

PDF (Українська) 72-79

General theoretical-set constructions of complete image, restriction, compatibility: properties and applications D.B. Buy, N.D. Kakhuta, L.M. Silveystruk

PDF (Українська) 80-88

Fundamentals of data-based algorithm algebra V.G. Akulovsky

PDF (Русский) 89-96

Simple non-deterministic rewriting in verification A.A. Letichevsky, V.S. Peschanenko

PDF 98-101

Parallel programming. Distributed Systems and Networks

Designing tools for network software products. Current state and perspective of development M.M. Glybovets, S.S. Gorochovskiy

PDF (Русский) 102-106

I/O benchmarking of data intensive applications Olga Mordvinova, Thomas Ludwig, Christian Bartholomä

PDF 107-114

Parallel realization of the solution of problems of prediction and classification for cluster based on artificial neural networks S.V. Minukhin, S.V. Znakhur

PDF (Русский) 115-124

Modeling of computer networks management processes under conflict conditions O.P. Ignatenko

PDF (Українська) 125-136

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams K.A. Berezovsky, A.Yu. Doroshenko, О.A. Yatsenko

PDF (Українська) 137-144

Method for parallelizing nonlinear tasks O.N. Paulin, T.I. Usova

PDF (Русский) 145-148

Optimization of large datasets processing in cluster systems E.V. Nazarenko, V.G. Tulchinsky, P.G. Tulchinsky

PDF (Русский) 149-154

Software instrumental-technological system design of telecommunications with a changing set of modules modelling I.A. Zhukov, M.M. Lastovchenko, V.V. Lukashenko, V.S. Tereshchenko, M.A. Yarmolovich

PDF (Русский) 155-161

A cluster management system for INPARCOM HPC-cluster computers R.A. Yushchenko

PDF (Русский) 162-170

Genetic algorithm for solving routing problems in networks S.D. Pogorilyy, R.V. BIlous

PDF (Українська) 171-177

Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems R.I. Levchenko, A.A. Sudakov, S.D. Pogorilyy, Y.V. Boiko

PDF (Русский) 178-184

Multi-Comparand Associative Machine and its Application to Relational Algebra Operations A.S. Nepomniaschaya

PDF 185-184

Approach to improve efficiency of service-oriented systems using estimation and distribution of load E.M. Tulika

PDF (Українська) 193-201

Automatically adjustable parallel algorithm for solving multidimensional problem of environmental modeling P.A. Ivanenko, A.Yu. Doroshenko, L. Suslova, R.I. Chernysh

PDF (Українська) 202-208

Methods and facilities of software engineering

Test scenarios generation based on formal model A.A. Letichevsky, A.V. Kolchin

PDF (Русский) 209-215

AWP – instrument for project and programming complex systems on the base system analisys V.M. Antonov, Y.V. Antonova-Rafi

PDF (Українська) 216-222

Problem of reengineering of legacy-software systems N.D. Pashkovets, O.V. Babak

PDF (Русский) 223-228

Maintenance of Availability and Operation Proceeding Aviation Software M.G. Lutsky, M.O. Sidorov, Y.M. Ryabokin

PDF (Українська) 229-236

Metrics selection for the software properties O.P. Dyshlevyi

PDF (Українська) 237-241

Monitoring design flaws in object-oriented software A.S. Nechay

PDF (Русский) 242-251

Towards effectiveness estimation of post object-oriented technologies at software maintenance N. Tkachuk, K. Nagorny

PDF (Русский) 252-260

An improvement for software families’ development with agile methodologies’ elements G.I. Koval, A.L. Kolesnik, K.M. Lavrishcheva, O.O. Slabospitska

PDF (Українська) 261-270

Cyberakmeology concept and principles projection programm-technology systems V.M. Antonov, Y.V. Antonova-Rafi

PDF (Українська) 271-276

Engineering of software development processes quality by means of Petri Nets L.E. Matveeva

PDF (Русский) 277-283

Modifications effective implementation generator tests V.A. Andriyanov, A.N. Martynyuk

PDF (Русский) 284-287

Interactive assessment of simulated service qualities by business stakeholders: principles and research issues V.A. Shekhovtsov

PDF 288-298

Crosscertification of Ukraine A.O. Melashchenko, O.L. Perevozchikova

PDF (Русский) 299-306

Estimation of reliability of modular software A.V. Antsypov, V.V. Bakhtizin

PDF (Русский) 307-311

Implementation of rich web-applications based on taucode library A.S. Kovalenko, K.S. Kovalenko

PDF 312-317

Formal methods of programming

The algebro-logical approach to the analysis and processing of the text information O.V. Palagin, S.L. Kryvyi, M.G. Petrenko, D.S. Bibikov

PDF (Русский) 318-329

Fuzzy models of multiagent systems in distributed environment I.N. Parasyuk, S.V. Ershov

PDF (Русский) 330-339

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS M.A. Bezverha, P.P. Protsyk

PDF (Українська) 340-348

Methods of automated algorithms schemes transformation I.Yu. Shkulipa, S.D. Pogorily

PDF (Українська) 349-354

Solving contest problems via formal program verification N.V. Shilov, S.O. Shilova

PDF 355-362

Backward transformation of formulas in symbolic modeling: from the result to the source formula A.B. Godlevsky, S.V. Potienko

PDF (Русский) 363-368

Environmental aspects of reprezantation knowlend in algebra of algorithmic G.E. Zeitlin, L.M. Zakharija, O.V. Zakharija, Y.I. Zhovnir

PDF (Русский) 369-375

Models and facilities for data and knowledge bases

Query optimization from DL/1 (IMS) to sol A.V. Anisimov, O.P. Kulyabko, P.P. Kulyabko, O.O. Marchenko

PDF (Українська) 376-381

Formal-logical approach to building analysis systems of knowledge in different domains O.V. Palagin, S.L. Kryvyi, D.S. Bibikov, V.Yu. Velychko, K. Markov, K. Ivanova, I. Mitov

PDF (Українська) 382-389

Design of ontological system of terms and their cognitive models in scientific research J.V. Rogushina, A.Y. Gladun, V.N. Shtonda

PDF (Українська) 390-394

Object-oriented database neodatis: installing, programming of queries, comparison with the relational data base D.B. Buy, S.V. Kompan

PDF (Українська) 395-400

System of the automated carrying over of contents electronic documents in DB IS A.A. Blazhko, S.Yu. Marulin, Yu.A. Dunko

PDF (Русский) 401-406

The Models of DBMS benchmark A.A. Blazhko, A.Yu. Levchenko, A.S. Prigozhev

PDF (Русский) 407-413

Automated creation of rules fo data access control by resources using DBMS A.A. Blazhko, Ibaa Saud

PDF (Русский) 414-418

Financial and economic ontology of information storage A.O. Melashchenko, O.L. Perevozchikova, Zh.A. Strelnikova

PDF (Русский) 419-427

About bypassing of multivalued dependency in the relational data model B.E. Panchenko

PDF (Русский) 428-433

Recursive queries in SQL: samples, intensional and formal semantics D.B. Buy, S.A. Polyakov

PDF (Українська) 434-439

Educational and training problems of programming

Entity-substance characteristics of educational environment T.S. Parfirova

PDF (Українська) 440-443

Methodical support of adaptive regulator design by software of LabVIEW V.A. Zherebko, T.Y. Lukina, A.S. Lyaskovsky

PDF (Українська) 444-451

Testing of interest to game V.V. Kozhaev

PDF (Русский) 452-456

E-ditorial: virtualization of work of scientific journal editorial board R.R. Darevich, D.G. Dosin, V.V. Litvin, O.I. Mriglod, N.V. Shkutyak

PDF (Українська) 457-464

Adaptability measurement of e-learning courses V.V. Lyubchenko

PDF (Українська) 465-468

Information systems

Semantics role in integration of applications on the basis of Web services P.I. Andon, V.A. Deretskiy

PDF (Русский) 469-479

Electronic library of the educational institution with visual interfaces of display and refining information by search V.M. Ruvinskaya, V.V. Lotar

PDF (Русский) 480-486

Data Integration in the Internet: Linked data O.V. Novytskyi

PDF (Українська) 487-493

The practical approach for realization Semantic Web applications V.A. Deretskiy, M.M. Bogdanova, S.I. Goroshansky

PDF (Русский) 494-501

Modern search engines analyzes on their suitability for listed objects search and WEB-mining M.S. Burmatova, M.V. Olenin

PDF (Українська) 502-506

Information protection

Multi-criteria analysis of the grid-systems security risk violation S.I. Lavrenyuk, A.Yu. Shelestov, A.M. Lavrenyuk

PDF (Українська) 507-512

A comprehensive confidential service for a secure GNU/Linux-based operating system with RSBAC extension E.Y. Ivannikov

PDF (Українська) 513-518

Programming Tools and Environments

The application of XML-representation for data integration in petroleum geophysics V.G. Tulchynsky, P.G. Tulchynsky, A.K. Yushchenko, R.A. Yushchenko

PDF (Русский) 519-525

Presentation of a graphical user interface for software testing A.S. Prigozhev

PDF (Русский) 526-529

Algorithm of definition of isomorphism XML-schemas A.P. Sergeev

PDF (Русский) 530-536

A system for the automated design of digital image filters K.A. Zhereb, B.I. Egorov, V.G. Prokhorov

537-546

Algorithmic algebra tools on the Web 2.0 platform V.A. Iovchev, A.S. Mohnitsa

PDF (Русский) 547-555

Automation of the composition of grammatical glossaries for thematic texts N.M. Mishchenko, O.D. Felizhanko, N.M. Shchogoleva

PDF (Українська) 556-560

Applied Software

Using multicore processors for 3d animation of the sign language Y.G. Kryvonos, Y.V. Krak, O.V. Barmak, B.A. Trotsenko

PDF (Русский) 561-566

Grid technologies in high-rise building modeling Y.O. Slobodyan, N.I. Ilyin, A.V. Melnichuk, V.P. Maksimenko

PDF (Русский) 567-571

Parallel implementation of directed search processes for optimal solutions V.A. Pepelyaev, M.A. Sakhnyuk, Yu.M. Cherny

PDF (Русский) 572-576

Neural and statistical techniques for remote sensing image classification Iu. Grypych, N. Kussul, O. Kussul

PDF 577-583

Modelling technology based on fuzzy Bayesian belief networks I.M. Parasyuk, F.V. Kostukevich

PDF (Українська) 584-592

Program identification of zeroes and features of functions on the basis of sorting with the application to the digital filtration Ya. E. Romm, I.A. Tyushnyakova

PDF (Русский) 593-603

Схема параллельных вычислений в задачах дифракции волн сдвига на системе отверстий в бесконечной изотропной среде A.M. Nazarenko, B.E. Panchenko

PDF (Русский) 604-610

Adaptive neuro-networking complex for automated diagnostics of stochastic dynamic objects of nuclear power-station G.I. Sharaevsky

PDF (Українська) 611-615

The system of the computer-aided preparation of information about the irregular shape material for designing of the cutting out patterns V.I. Chuprynka, M.M. Shkodenko, V.P. Konoval

PDF (Українська) 616-620

The integrated approach to the solution of the task of irregular shape objects on plane packing V.I. Chuprynka, O.O. Khomenko, L.T. Svistunova

PDF (Українська) 621-628

The method of software building the thickest grid packing V.I. Chuprynka, O.V. Chebanyuk

PDF (Українська) 629-635

Fuzzy diagnostic models in the H-Homeopath system A.I. Provotar, L.A. Katerynich

PDF (Русский) 636-641

Methodology for developing an automated information system for the recording and forward planning of sanatorium, spa and rehabilitation treatment for victims A.V. Chadyuk, Z.V. Runovska, S.M. Fedorenko

PDF (Українська) 642-650