1. Science
  2. Publications
  3. Scientific Works of Kharkiv National Air Force University
  4. 3(18)'2008
  5. Method of the formal architecturally-oriented design of temporal parallel programs for computer with symmetric multiprocessor processing of information

Method of the formal architecturally-oriented design of temporal parallel programs for computer with symmetric multiprocessor processing of information

G.A. Polakov, E.G. Tolstoluzhskaya
Annotations languages:

The formal synthesis method of the timing multiparallel programs for the symmetric multi processing (SMP) computers is described. The synthesis method support architecture and configuration of the SMP computers as well as the users demands and limitations.
Keywords: temporal parallel programs, computer with the symmetric multiprocessing, parallel temporal models, methods of the simultaneous processing