Transition systems as method of designing applications in GPGPU technology von S. L. Kryvyi, S. D. Pohorilyi, M. S. Slynko

Volltext

Context term calculus for rewriting systems von P. C. Shevchenko

Volltext

Logics of general non-deterministic predicates: semantic aspects von M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Volltext

Parallel software auto-tuning using statistical modeling and machine learning von Yu. Doroshenko, P. A. Ivanenko, O. C. Novak, O. A. Yatsenko

Volltext

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... von T. O. Herasymova, A. N. Nesterenko

Volltext

Temperature field of metal structures of transport facilities with a thin protective coating von B. Gera, V. Kovalchuk, V. Dmytruk

Volltext

System aspects of design guaranteased cloud calculations von N. A. Kosovets, I. E. Shchetinin, L. N. Tovstenko

Volltext

Extension of the program synthesis system to analyze large data sets von O. M. Ovdii

Volltext

Game-theory analysis of multi-processor schedulers. Simulation model von O. P. Ihnatenko, Ya. Odobesku

Volltext

Multi-level model of parallel computing for linear algebra problems von O. V. Popov, O. V. Rudych, O. V. Chystiakov

Volltext

Equivalence of two parallel execution systems von T. V. Panchenko, S. Fabunmi

Volltext

Architecture of software system for hierarhical fuzzy inference von C. V. Yershov, R. M. Ponomarenko

Volltext

Use of metods of algebraic programming for the formal verification of legal acts von V. Peschanenko, M. Poltorackiy

Volltext

Interactive method for cumulative analysis of software formal models behavior von A. Kolchin

Volltext

Formal foundations for software model to model transformation operation von O. V. Chebanyuk

Volltext

Ontological similar systems for analysis of texts of natural language von S. L. Kryvyi, N. P. Darchuk, O. I. Provotar

Volltext

Minimax filtering of sequences with periodically stationary increments von M. M. Luz, M. P. Mokliachuk

Volltext

Evaluation of diamond-coated tools in drilling high-strength CFRP composites von J. Xu, L. Li, T. Lin, M. Chen

Volltext

Towards adaptation of the NURBS weights in shape optimization von M. Ziani

Volltext

Optimal placement of a multi-sensor system von S. V. Pashko

Volltext