С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 94
- Downloads 0
Modified zonal coding of transformants of low-resource steganography algorithm
The results of modeling the process of compression of halftone images by means of a modified zonal selection of the transformation coefficients. To process transformants, two methods of grouping the coefficients are ap...
A conception for comparison of integer data represented in a residue number system
The methods for comparison integer data that are represented in the residue number system (RNS) are described. The method of arithmetic comparison of integer data is developed, which improves the accuracy of processing o...
PRACTICAL CLASSIFICATION TOPOLOGICAL STRUCTURES OF COMMUNICATION NETWORKS FOR MULTIPROCESSOR COMPUTER SYSTEMS
Proposed by the working version of practical classification topological structures of communication networks for multiprocessor computer systems. Any n-dimensional non-full mesh structure presented here as the result of...
МЕТОДЫ ФОРМИРОВАНИЯ И ОБРАБОТКИ OFDM СИГНАЛОВ В СОВРЕМЕННЫХ БЕСПРОВОДНЫХ ДИСКРЕТНЫХ КОММУНИКАЦИОННЫХ СИСТЕМАХ
Рассмотрены технологии формирования сигналов, используемых в системах связи и телекоммуникаций, а также приводится краткий анализ перспективных технологий, которые могут найти применение в беспроводных системах связи шир...
Computer simulation as a tool for physical research
Announced new the description of physical phenomena and new physical effects that were able to detect by computer simulation.