Abstract: It is proposed to add a static system of types to the dataflow functional model of parallel computing and the dataflow functional parallel programming language developed on its basis. The use of static typing increases the possibility of transforming dataflow functional parallel programs into programs running on modern parallel computing systems. Language constructions are proposed. Their syntax and semantics are described. It is noted that the need to use the single assignment principle in the formation of data storages of a particular type. The features of instrumental support of the proposed approach are considered.

Abstract: In the given work the program system for restoration and processing’s of images of old-printed texts and manuscripts, and also, the basic approaches and methods for the decision of the given problem is described.

Abstract:

The report presents the software package that will allow specialists in the field of architectural acoustics to choose the most appropriate methods for modeling sound and selecting finishing materials depending on the tasks and parameters of a building A distinctive feature of this system is the presence of an ontology of the subject area that describes the terms and relationships between concepts, as well as modules for solving various problems in the field of architectural acoustics. Such an approach will allow the user to recommend the most suitable simulation methods for one’s request due to considering the specifics of the premises and the functional requirements of the client. The on-demand software system allows to optimize and parallelize programs written in a domain-specific programming language. The paper describes the principles of source code analysis to identify critical areas and modify them using a bank of patterns. The report also discusses an approach to develop a domain-specific programming language based on domain ontology, ODSL (Ontology-Based Domain-Specific Language), which allows specialists to describe algorithms not accounting for different specific optimization and parallelization methods. The novelty of the work lies in the proposed architecture of modules based on applied ontology, which makes it possible to adapt the solution to other subject areas.

Abstract: The paper is aimed to describe a system with some mechanisms for using mobile devices in distributed computing. Emphasis is placed on components of the system which control tasks and distribute resources.