Verification of programs: status, problems and experimental results. II von Maksymets, A.N.

Volltext

A software simulator of an aerobic cell responses to energy disbalance von Grygoryan, R.D., Aksenova, T.V., Deriev, І.І.

Volltext

Scheme of parallel computing of maximum contour SH-stresses on a system of non-circular elastic inclusions in an infinite elastic medium von Panchenko, B.E., Sayko, I.N.

Volltext

Problem of creation of groups of agents in prosecution/evasion tasks on a plane von Yalovets, A.L.

Volltext

Evolutionary Programming von Glybovets, M.M., Gulayeva, N.M.

Volltext

An Approach for Object-Component Model Engineering of Software Product Line von Lavrischeva, K.M., Slabospitskaya, O.А.

Volltext

The formal basic developing and testing the distributed program systems von Lavrischeva, K.M., Stenyashin, A.Yu.

Volltext

Spellchecker based on distributed representations von Omelchenko, P.S.

Volltext

Verification of programs: status, problems and experimental results. I von Maksymets, A.N.

Volltext

Autotuner and visualization for meteorological forecasting model von Ivanenko, P.A., Doroshenko, A.Yu., Ovdii, O.M., Suslova, L.M.

Volltext

Numerical Methods for Solving the Pursuit Optimization Problems von Pashko, C.V., Yalovets, A.L.

Volltext

Method for calculating the parameters of phase transitions of discrete technological and information processes of strategic planning with parallelization of computations von Stepaniuk, M.Yu.

Volltext

About the method of the nearest point as a method of management of strategies of pursuit/evasion of agents von Yalovets, A.L.

Volltext

Approach to the building intelligent decision support systems on the basis of ontology von Lytvyn, V.V.

Volltext

Віктор Михайлович Глушков (24.08.1923 – 30.01.1982) von Editorial, board

Volltext

V.M. Glushkov Kyiv School of Programming von Andon, P.I.

Volltext

Description of parallelism in algorithms of information management systems using algebraic apparatus von Akulovsky, V.G., Doroshenko, A.Yu.

Volltext

Algebra for the description of data in the composite schemes of algorithms von Akulovskiy, V.G.

Volltext

Spectrum of sequential number pershopordinal compositional-nominative logics von Shkilnyak, S.S.

Volltext

Formalized design and synthesis of parallel programs for videographic shortcuts von Doroshenko, A.Yu., Beketov, O.G., Zhereb, K.A., Yatsenko, О.A.

Volltext