Result Details
CSP-based Modeling of SM Architectures
        ČEJKA, R. CSP-based Modeling of SM Architectures. Sborník prací studentů a doktorandů FEI VUT. Brno: Akademické nakladatelství CERM, 1999. p. 75-76.  ISBN: 80-214-1155-4.
    
                Type
            
        
                conference paper
            
        
                Language
            
        
                English
            
        
            Authors
            
        
                Čejka Rudolf, Ing., FEEC (FEEC)
            
        
                    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 anillustration, a parallel solution of a large system of linear equationson SM architectures has been simulated by means of the CSP-based toolTransim.
                Keywords
            
        MP and SM architectures, CSP, 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
                
            
                    ISBN
                
            
                    80-214-1155-4
                
            
                    Publisher
                
            
                    Akademické nakladatelství CERM
                
            
                    Place
                
            
                    Brno
                
            
                    BibTeX
                
            @inproceedings{BUT192345,
  author="Rudolf {Čejka}",
  title="CSP-based Modeling of SM Architectures",
  booktitle="Sborník prací studentů a doktorandů FEI VUT",
  year="1999",
  pages="75--76",
  publisher="Akademické nakladatelství CERM",
  address="Brno",
  isbn="80-214-1155-4"
}
                Research groups
            
        
                Departments