Analysis of formal models and standards for structured electronic document in corporate informational system за авторством A. V. Sharypanov, Ye. Shchetynin, S. M. Ivanov

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

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

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

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

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

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

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

Automated extraction of structured information from a variety of web pages за авторством S. D. Pohorilyi, A. A. Kramov

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

About relationship between table algebra of infinite tables and multiset table algebra за авторством I. M. Hlushko

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

Credibility of fuzziness: theory and application за авторством O. I. Provotar, O. O. Provotar

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