Search Results - PROBLEMS IN PROGRAMMING :: Harvester open publications of NAS Ukraine

Suggested Topics within your search. Suggested Topics within your search.

283
УДК 681.3 91
UDC 681.3 90
ontology 43
онтологія 42
УДК 004.94 31
UDC 004.94 29
онтология 27
УДК 004.4 26
machine learning 25
машинне навчання 25
UDC 004.4 24
004.55 20
УДК 004.4'24 20
УДК 004.853 20
УДК 004.42:510.69 19
УДК 004.8 19
UDC 004.4'24 17
UDC 004.42:510.69 17
logic 17
УДК 681.3.06 17
UDC 004.62 16
UDC 004.8 15
UDC 681.3.06 15
УДК 004.424 15
УДК 004.62 15
дескриптивна логіка 15
логика 15
логіка 15
логічний наслідок 15

Method of calibration of the СOCOMO model by reduction of the basic equation by Batsenko, D.V.

Сoordinated description of algorithms within the framework of algebraic vehicle by Akulovskiy, V.G., Doroshenko, A.Yu.

Rapid vs. Qualitative Development by Panchenko, T.V.

NP-hardness of collective pursuiting optimization problems by Pashko, S.V.

Research of the synchronization patterns and their use in GPGPU by Pogorilyy, S.D., Vereschynsky, O.A.

Principles of modeling GPGPU-applications using Petri nets by Pogorilyy, S.D., Vitel, D.Yu.

Parallel non-negative sparse extra-large matrix factorization by Nasirov, E.M.

Formalized designing and generation of parallel program for numerical weather forecasting task by Doroshenko, A.Yu., Beketov, O.G., Prusov, V.A., Turchak, Yu.M., Yatsenko, E.A.

Scheme of a parallel solution of the problem of difraction of SH-waves on a system of non-circular cracks in an infinite elastic medium by Nazarenko, A.M., Panchenko, B.E., Pilipenko, S.A.

Cluster solution the problem of the diffraction elastic waves by a system of rigid cylindrical inclusions of arbitrary cross section by Panchenko, B.E., Sayko, I.N.

Application of Petri component nets in the checking task of parallel distributed systems by Lukyanova, E.A.

КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ФИЗИОЛОГИЧЕСКИХ ПРОЦЕССОВ ОБЕСПЕЧЕНИЯ ДЕЯТЕЛЬНОСТИ ЧЕЛОВЕКА: КОНЦЕПЦИЯ И ПЕРСПЕКТИВЫ... by Grygoryan, R.D.

Optimization of checking the feasibility of transitions when verifying formal models by Kolchin, A.V.

Block algorithm for Householder transformations for hybrid architecture computers by Popov, O.V., Rudich, O.V.

Traversal of arbitrary sequences of UCM symbolic transitions for test generation by Guba, A.A.

An approach to behavioral software models refinement using design patterns by Chebanyuk, O.B.

Рaradigms of programming assembling type in software engeneering by Lavrischeva, E.M.

Regression testing: techniques and future research directions by Moroz, H.B., Plys, A.B.

Static method of consistency and completeness checking in formal model of distributed software systems by Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

Development and substantiation of algorithms based on semantic properties by Kryvyi, S.L., Maksymets, O.M.

Search Results - PROBLEMS IN PROGRAMMING

Method of calibration of the СOCOMO model by reduction of the basic equation by Batsenko, D.V.

Сoordinated description of algorithms within the framework of algebraic vehicle by Akulovskiy, V.G., Doroshenko, A.Yu.

Rapid vs. Qualitative Development by Panchenko, T.V.

NP-hardness of collective pursuiting optimization problems by Pashko, S.V.

Research of the synchronization patterns and their use in GPGPU by Pogorilyy, S.D., Vereschynsky, O.A.

Principles of modeling GPGPU-applications using Petri nets by Pogorilyy, S.D., Vitel, D.Yu.

Parallel non-negative sparse extra-large matrix factorization by Nasirov, E.M.

Formalized designing and generation of parallel program for numerical weather forecasting task by Doroshenko, A.Yu., Beketov, O.G., Prusov, V.A., Turchak, Yu.M., Yatsenko, E.A.

Scheme of a parallel solution of the problem of difraction of SH-waves on a system of non-circular cracks in an infinite elastic medium by Nazarenko, A.M., Panchenko, B.E., Pilipenko, S.A.

Cluster solution the problem of the diffraction elastic waves by a system of rigid cylindrical inclusions of arbitrary cross section by Panchenko, B.E., Sayko, I.N.

Application of Petri component nets in the checking task of parallel distributed systems by Lukyanova, E.A.

КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ФИЗИОЛОГИЧЕСКИХ ПРОЦЕССОВ ОБЕСПЕЧЕНИЯ ДЕЯТЕЛЬНОСТИ ЧЕЛОВЕКА: КОНЦЕПЦИЯ И ПЕРСПЕКТИВЫ... by Grygoryan, R.D.

Optimization of checking the feasibility of transitions when verifying formal models by Kolchin, A.V.

Block algorithm for Householder transformations for hybrid architecture computers by Popov, O.V., Rudich, O.V.

Traversal of arbitrary sequences of UCM symbolic transitions for test generation by Guba, A.A.

An approach to behavioral software models refinement using design patterns by Chebanyuk, O.B.

Рaradigms of programming assembling type in software engeneering by Lavrischeva, E.M.

Regression testing: techniques and future research directions by Moroz, H.B., Plys, A.B.

Static method of consistency and completeness checking in formal model of distributed software systems by Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

Development and substantiation of algorithms based on semantic properties by Kryvyi, S.L., Maksymets, O.M.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication