Сompilations method and semantic verification time parameterized of multiparallel programs
Journal Title: КОМП’ЮТЕРНІ НАУКИ ТА КІБЕРБЕЗПЕКА - Year 2016, Vol 4, Issue 4
Abstract
It provides definitions vremyaparametrizovannyh multiparallelnyh programs that (in contrast to the conventional treatment of parallel programs) contain moments of the start of operations specifications / features, as well as a subset of such operations / functions. The necessity of development of new methods of verification vremyaparametrizovannyh parallel programs. Reveals the stages of solving the problem, a compilation of semantic verification vremyaparametrizovannyh multiparallelnyh programs for the creation of automated synthesis systems, high-performance parallel programs for computing systems of various classes. We present an example illustrating the basic steps of the method.
Authors and Affiliations
Olena Tolstoluzka, Dmitriy Tolstoluzkiy, Olga Moroz
Keywords
Related Articles
- EP ID EP263637
- DOI -
- Views 86
- Downloads 0
MATHEMATICAL MODEL FOR THE FINGERPRINT MINUTIAE DISTORTION
This paper involves the research of biometric fingerprint images, minutiae and the mathematical probabil-istic model of their distortion. The suggested model is based on heuristic analysis of the fingerprint scanning res...
The algebraic immunity of nonlinear nodes symmetric ciphers
Researched methods for computing algebraic immunity cryptographic Boolean functions and nonlinear knots of replacements (substitutions) of symmetric ciphers. The presented results of a comparative analysis algebraic imm...
5G NETWORK ARCHITECTURE
The work deals with the main stages in the history of the development of different generations of cellular communication and options for the organization of their architecture. A brief overview of the main features and p...
ПОБУДОВА СИСТЕМИ ГОЛОСУВАННЯ З ВИКОРИСТАННЯМ БЛОКЧЕЙН ТЕХНОЛОГІЙ НА ПРИКЛАДІ HYPERLEDGER
Обговорюється характеристики і особливості роботи в системі Hyperledger Fabric та характерні проблеми реалізації транзакцій. Проведено розгляд регістрів і принципів їх роботи в відповідних системах, зокрема підключення...
The method of a data control in the residual system classes based on use of positional attribute of non-positional code structure
The method of a data control in the residue number system (RNS) are developed in the article, which is based on the use of positional attribute of non-positional code structure. The using variants of the proposed method...