Survey on modern tools and methods of formal models verification von Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

Volltext

The Formal method of Component Basic Programming von Grischenko, V.N.

Volltext

The technology of optimal options choice based on semantic analisis of information objects of the bisnessprocess von Zakharova, O.V., Minenko, V.D.

Volltext

Architecture and functionalities of system of situational management of protection of zones of the responsibility von Alekseev, V.A., Mostovoi, V.V., Tereshchenko, V.S., Yalovets, A.L.

Volltext

The application package for calculation continuous and discrete models of dynamic processes in the control circuits von Merdukh, S.L., Medvedev, R.B.

Volltext

Optimisation of big N-width digits multiplication based on N-width DFT von Tereshchenko, A.N., Zadiraka, V.K.

Volltext

Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании... von Lvov, M.S.

Volltext

Synthesis of an automaton specified by the set of clauses von Chebotarev, A.N.

Volltext

DS-theory. Presentation of canonical algorithm by means of algorithmic language von Kolesnyk, V.G.

Volltext

Automated generation of parallel programs for graphics processing units based on algorithm schemes von Doroshenko, А.Yu., Beketov, O.G., Ivaniv, R.B., Iovchev, V.O., Mironenko, I.O., Yatsenko, O.A.

Volltext

On decompilation of VLIW executable files von Jakub, K.

Volltext

Descriptive logic using in Web-service problems von Zakharova, O.V.

Volltext

Approach qualitative analisys of dynamic systems wood based solutions von Andrushchak, I.Ye.

Volltext

Programming gestures simulator with statistical modeling von Doroshenko, А.Yu., Novak, O.S.

Volltext

Virtualization of models of technical plants in educational and research problems in the development of control systems von Zherebko, V.A.

Volltext

One model of parallel computing in heterogeneous distributed environments von Ignatenko, O.P., Parusimov, G.V., Sinetskyi, O.B.

Volltext

Portfolio model for decision process concerning organizational change management von Slabospitskaya, O.A.

Volltext

Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model von Tereshchenko, A.N.

Volltext

Development of agent recommendation system of virtual university based on JADE von Glybovets, M.M., Konyushenko, O.V.

Volltext

Power of n and nth root of multi-digit numbers based on recurrent relations von Tereshchenko, A.N.

Volltext