BazEkon - Biblioteka Główna Uniwersytetu Ekonomicznego w Krakowie

BazEkon home page

Meny główne

Autor
Buzovski Oleg, Belhadri Nuriddin, Korochkin Alexander
Tytuł
Formalizing of the Parallel Programs
Źródło
Zeszyty Naukowe / Wyższa Szkoła Informatyki i Zarządzania, 1997, R. 1, nr 1, s. 179-182, bibliogr. 2 poz.
Słowa kluczowe
Informatyka, Programy komputerowe, Oprogramowanie komputerowe
Information science, Computer programs, Computer software
Uwagi
summ.
Abstrakt
W artykule przedstawiono podejście do opisu programu związanego z analizą interakcyjną w analogicznie wykonanych programach, oparte na materiale badawczym systemów odosobnionych. Aby móc zaprezentować to jako model koncepcyjny, przedstawiony został analogiczny program złożony z oddzielnych procesów, które są wykonywane równolegle i współdziałają ze sobą. Przedstawiono również model współgrającego sekwencyjnego procesu CSP.

In this paper of work, the approach to formalising the problem of the interaction analysis in the programs carried out parallel, based on the research apparatus of discrete systems is studied. To present as a conceptual model the parallel program can be studies as a set of separate processes, which are fulfilled parallely and cooperate among themselves. The known model of co-operating consecutite processes CSP (Communicating Sequential Processes) is presented in this paper. (original abstract)
Dostępne w
Biblioteka Główna Uniwersytetu Ekonomicznego w Krakowie
Biblioteka Główna Uniwersytetu Ekonomicznego w Katowicach
Cytowane przez
Pokaż
ISSN
1429-5237
Język
eng
Udostępnij na Facebooku Udostępnij na Twitterze Udostępnij na Google+ Udostępnij na Pinterest Udostępnij na LinkedIn Wyślij znajomemu