Analysis of formal models and standards for structured electronic document in corporate informational system by A. V. Sharypanov, Ye. Shchetynin, S. M. Ivanov

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

Automated extraction of structured information from a variety of web pages by S. D. Pohorilyi, A. A. Kramov

Get full text

About relationship between table algebra of infinite tables and multiset table algebra by I. M. Hlushko

Get full text

Credibility of fuzziness: theory and application by O. I. Provotar, O. O. Provotar

Get full text