Transition systems as method of designing applications in GPGPU technology за авторством S. L. Kryvyi, S. D. Pohorilyi, M. S. Slynko

Отримати повний текст

Context term calculus for rewriting systems за авторством P. C. Shevchenko

Отримати повний текст

Logics of general non-deterministic predicates: semantic aspects за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Отримати повний текст

Parallel software auto-tuning using statistical modeling and machine learning за авторством Yu. Doroshenko, P. A. Ivanenko, O. C. Novak, O. A. Yatsenko

Отримати повний текст

Parallel algorithms for the solving both of non-linear systems and initial-value problems for systems of ordinary differential equations on multi-core computers with processors Int... за авторством T. O. Herasymova, A. N. Nesterenko

Отримати повний текст

Temperature field of metal structures of transport facilities with a thin protective coating за авторством B. Gera, V. Kovalchuk, V. Dmytruk

Отримати повний текст

System aspects of design guaranteased cloud calculations за авторством N. A. Kosovets, I. E. Shchetinin, L. N. Tovstenko

Отримати повний текст

Extension of the program synthesis system to analyze large data sets за авторством O. M. Ovdii

Отримати повний текст

Game-theory analysis of multi-processor schedulers. Simulation model за авторством O. P. Ihnatenko, Ya. Odobesku

Отримати повний текст

Multi-level model of parallel computing for linear algebra problems за авторством O. V. Popov, O. V. Rudych, O. V. Chystiakov

Отримати повний текст

Equivalence of two parallel execution systems за авторством T. V. Panchenko, S. Fabunmi

Отримати повний текст

Architecture of software system for hierarhical fuzzy inference за авторством C. V. Yershov, R. M. Ponomarenko

Отримати повний текст

Use of metods of algebraic programming for the formal verification of legal acts за авторством V. Peschanenko, M. Poltorackiy

Отримати повний текст

Interactive method for cumulative analysis of software formal models behavior за авторством A. Kolchin

Отримати повний текст

Formal foundations for software model to model transformation operation за авторством O. V. Chebanyuk

Отримати повний текст

Ontological similar systems for analysis of texts of natural language за авторством S. L. Kryvyi, N. P. Darchuk, O. I. Provotar

Отримати повний текст

Minimax filtering of sequences with periodically stationary increments за авторством M. M. Luz, M. P. Mokliachuk

Отримати повний текст

Evaluation of diamond-coated tools in drilling high-strength CFRP composites за авторством J. Xu, L. Li, T. Lin, M. Chen

Отримати повний текст

Towards adaptation of the NURBS weights in shape optimization за авторством M. Ziani

Отримати повний текст

Optimal placement of a multi-sensor system за авторством S. V. Pashko

Отримати повний текст