С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 93
- Downloads 0
WILL THE ARTIFICIAL INTELLIGENCE HELP US?
Discussed what can help us (humanity) artificial intelligence. The unification of artificial neural networks and decision-making expert systems based on the logic has discussed. The integration of formed (human) concepts...
IMPROVED MATHEMATICAL MODEL OF THE POST-QUANTUM ELETRONIC SIGNATURE MECHANISM
In the paper new electronic signature mechanisms which will be urgent in the post-quantum period devel-opment necessity is grounded. The main one time key mechanisms are briefly described. Problems related with Lamport O...
The data model "object-event": requirements and synthesis of the model
Requirements imposed to the developed data model are formulated based on the need to find new solutions of the actual problem of timely creation, modernization within the planned budget of databases that have the require...
THE GOLDEN SECTION, FIBONACCI NUMBERS, MATHEMATICS OF HARMONY AND “GOLDEN” SCIENTIFIC REVOLUTION
The Publishing House “World Scientific” recently published two fundamental books: Alexey Stakhov “The Mathematics of Harmony” (2009) and Alexey Stakhov and Samuil Aranson “The “Golden” Non-Euclidean Geometry” (2016). In...
The selection of forming polynomials for shift register with nonlinear feedback second order that generates the sequence with maximum period
Model pseudo-random sequence generator based on shift registers with nonlinear feedback second order is considered. Additional requirements for type of polynomial are formulated. They limit the set of polynomials which g...