Detail publikace

CSP-based Modeling of SM Architectures

ČEJKA Rudolf. CSP-based Modeling of SM Architectures. In: Sborník prací studentů a doktorandů FEI VUT. Brno: Akademické nakladatelství CERM sro., 1999, s. 75-76. ISBN 80-214-1155-4.
Název česky
Modelování SM architektur pomocí CSP
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Čejka Rudolf, Ing. (UIVT-VVS FEI VUT)
Klíčová slova

Architektury MP a SM, CSP, Transim

Abstrakt

Je známo, že model komunikujících sekvenčních procesů (CSP) je přirozený nástroj pro modelování architektur se zasíláním zpráv (MP). V článku je popsána možnost pomocí CSP modelovat i achitektury se sdílenou pamětí (SM). Pro ilustraci je představena simulace paralelního řešení velkého systému lineárních rovnic na architekturách SM pomocí nástroje Transim založeného na CSP.

Rok
1999
Strany
75-76
Sborník
Sborník prací studentů a doktorandů FEI VUT
Konference
Konference Tvůrčí činnost studentů oboru VTI - TCS'99, Brno, CZ
ISBN
80-214-1155-4
Vydavatel
Akademické nakladatelství CERM sro.
Místo
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB5583,
   author = "Rudolf \v{C}ejka",
   title = "CSP-based Modeling of SM Architectures",
   pages = "75--76",
   booktitle = "Sborn\'{i}k prac\'{i} student\r{u} a doktorand\r{u} FEI VUT",
   year = 1999,
   location = "Brno, CZ",
   publisher = "Akademick\'{e} nakladatelstv\'{i} CERM",
   ISBN = "80-214-1155-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/5583"
}
Nahoru