Publication Details

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, 1999, pp. 75-76. ISBN 80-214-1155-4.

Czech title

Modelování SM architektur pomocí CSP

Type

conference paper

Language

english

Authors

Čejka Rudolf, Ing. (DCSE FEECS BUT)

Keywords

MP and SM architectures, CSP, Transim

Abstract

It is known that the model of communicating sequential processes (CSP) is quite a natural tool for modeling of message passing (MP) architectures. The possibility of modeling of shared memory (SM) architectures using CSP is suggested and described below. As an illustration, a parallel solution of a large system of linear equations on SM architectures has been simulated by means of the CSP-based tool Transim.

Published

1999

Pages

75-76

Proceedings

Sborník prací studentů a doktorandů FEI VUT

Conference

Konference Tvůrčí činnost studentů oboru VTI - TCS'99, Brno, CZ

ISBN

80-214-1155-4

Publisher

Akademické nakladatelství CERM

Place

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"
}