С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 90
- Downloads 0
PERIODIC CHARACTERISTICS OF OUTPUT FEEDBACK ENCRYPTION MODE
We investigate periodic characteristics of sequence of output blocks in the output feedback encryption mode. The model of random homogeneous substitution is used for an abstract description of this formation. This proper...
Statistical properties of modern stream ciphers
In recent years, numerous studies of stream symmetric ciphers in Ukraine are continuing, the main purpose of which is to argue the principles of creating a new cryptographic algorithm, which can be based on the national...
Testing the speed of modern stream ciphers
The paper is a continuation of numerous studies of a candidate for encryption national standard of Ukraine, the Strumok new symmetric stream cipher. The result of a study is compare the most famous algorithms of stream c...
MATHEMATICAL AND PHYSICAL NATURE OF CHANNEL CAPACITY
The classic methodological approaches to the determination of channel capacity have been considered. The contradiction between analytical and geometric definitions of maximum achievable transmission rate has been shown....
ОБЗОР ПРОТОКОЛОВ КОНСЕНСУСА ПРИМЕНЯЕМЫХ В ТЕХНОЛОГИЯХ БЛОКЧЕЙН
Рассмотрены категории популярных проколов консенсуса: Proof of Work и его гибриды, Proof of Stake (включает LPoS, Proof of Importance) и гибриды, DAGs и его разновидности. В статье описаны их алгоритмы, характеристики, о...