Зображення обкладинки

Algorithmic algebra tools on the Web 2.0 platform

Web 2.0-based means for design, transformation and synthesis of parallel algorithms and programs using algebraic algorithmic specifications are considered. The functionality of tools is demonstrated on the illustrative example of the algorithm of Brownian motion of particles in the crystal.Problems...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2026
Автори:	Iovchev, V.A., Mohnitsa, A.S.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2026
Теми:	UDC 681.3
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/951
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Features of implementation of toolkit for transformational synthesis of parallel algorithms
за авторством: Mohnitsa, A.S., та інші
Опубліковано: (2026)

Means of designing object-oriented programs based on algebra of algorithmics
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

Approach to programming of applications with using of Semantic Web-services
за авторством: Deretsky, V.A.
Опубліковано: (2026)

Approach to determination of completeness of composition of Semantic Web-services
за авторством: Deretsky, V.A.
Опубліковано: (2026)

Development of applications in service-oriented architecture of Semantic Web
за авторством: Deretskiy, V.A.
Опубліковано: (2025)

Approach to composition of Web-services on basis of specification of functional semantics
за авторством: Deretsky, V.A.
Опубліковано: (2026)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

The practical approach for realization Semantic Web applications
за авторством: Deretskiy, V.A., та інші
Опубліковано: (2026)

Semantics role in integration of applications on the basis of Web services
за авторством: Andon, P.I., та інші
Опубліковано: (2026)

Approach to design software applications of use Web Service
за авторством: Deretsky, V.A., та інші
Опубліковано: (2026)

analysis of parallel algorithm for constructing 2D Voronoi diagram
за авторством: Berezovskiy, K.A.
Опубліковано: (2026)

Implementation of rich web-applications based on taucode library
за авторством: Kovalenko, A.S., та інші
Опубліковано: (2026)

Multivariance of the notations of representation of algorithms of operation of software as path to their verification
за авторством: Alekseev, V.A., та інші
Опубліковано: (2026)

High level facilities for design automation of parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)

Algebra-dynamic models for program parallelization
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

The algebraic model refactoring of components
за авторством: Grischenko, V.N.
Опубліковано: (2015)

Methods of automated algorithms schemes transformation
за авторством: Shkulipa, I.Yu., та інші
Опубліковано: (2026)

Problems and tools of designing and estimation of viable program system
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2015)

Genetic algorithm for solving routing problems in networks
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2026)

Automatically adjustable parallel algorithm for solving multidimensional problem of environmental modeling
за авторством: Ivanenko, P.A., та інші
Опубліковано: (2026)

Construction of parallel algorithm for numeric solving multidimensional problem of environmental modeling
за авторством: Chernish, R.I., та інші
Опубліковано: (2026)

Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales
за авторством: Yatsenko, O.A.
Опубліковано: (2015)

An estimation of efficiency of algorithms of cryptographic compression of built is on basis of tree of Shterna - Broko
за авторством: Glinchuk, L.Ya.
Опубліковано: (2026)

Algorithm for constructing six-dimensional tensor for the problem finding hidden semantic relations into the case of natural language texts
за авторством: Voznyuk, T.G.
Опубліковано: (2025)

Interactive assessment of simulated service qualities by business stakeholders: principles and research issues
за авторством: Shekhovtsov, V.A.
Опубліковано: (2026)

Virtualization of models of technical plants in educational and research problems in the development of control systems
за авторством: Zherebko, V.A.
Опубліковано: (2017)

Iinterdepartmental is informational - telecommunication systems, as result of implementation of target programs, directed on exchange by information resources between departments
за авторством: Alekseev, V.A., та інші
Опубліковано: (2026)

The registration and accounting of the information about events in specialized informational-telecommunication systems
за авторством: Alekseev, V.A., та інші
Опубліковано: (2025)

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
за авторством: Alekseev, V.A., та інші
Опубліковано: (2015)

Problem of automation of situational management of protection of zones of the responsibility
за авторством: Alekseev, V.A., та інші
Опубліковано: (2025)

Axiomatic models and methods used to design of language translators
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)

Formalized designing and generation of parallel program for numerical weather forecasting task
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

The approach of cluster system interfaces implementation
за авторством: Marianovskyi, V.A., та інші
Опубліковано: (2026)

Approach to building factories of student programs
за авторством: Aronov, A.A., та інші
Опубліковано: (2025)

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
за авторством: Berezovsky, K.A., та інші
Опубліковано: (2026)

About some approaches to calculating uncertainties
за авторством: Provotar, A.I., та інші
Опубліковано: (2026)

Fuzzy diagnostic models in the H-Homeopath system
за авторством: Provotar, A.I., та інші
Опубліковано: (2026)

Development of highly-parallel applications for graphical processing units using rewriting rules
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)