An Introduction to the Pthales Domain of Ptolemy II

Remi Barrere and Eric Lenormand and Dai Bui and Edward A. Lee and Christopher Shaver and Stavros Tripakis

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2011-32

April 26, 2011

This publication is archived. It is kept only for reference purposes, so it is no longer being updated and may not meet accessibility standards. If you need this content in a different format, please email webteam@eecs.berkeley.edu.

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2011/Archive/EECS-2011-32.pdf

Pthales is a multidimensional dataflow model of computation implemented in the heterogeneous modeling environment Ptolemy II. This report gives a tutorial of Pthales and a formal analysis of Pthales semantics.

BibTeX citation:

@techreport{Barrere:EECS-2011-32,
    Author= {Barrere, Remi and Lenormand, Eric and Bui, Dai and Lee, Edward A. and Shaver, Christopher and Tripakis, Stavros},
    Title= {An Introduction to the Pthales Domain of Ptolemy II},
    Year= {2011},
    Month= {Apr},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-32.html},
    Number= {UCB/EECS-2011-32},
    Abstract= {Pthales is a multidimensional dataflow model of computation implemented in the heterogeneous modeling environment Ptolemy II. This report gives a tutorial of Pthales and a formal analysis of Pthales semantics.},
}

EndNote citation:

%0 Report
%A Barrere, Remi 
%A Lenormand, Eric 
%A Bui, Dai 
%A Lee, Edward A. 
%A Shaver, Christopher 
%A Tripakis, Stavros 
%T An Introduction to the Pthales Domain of Ptolemy II
%I EECS Department, University of California, Berkeley
%D 2011
%8 April 26
%@ UCB/EECS-2011-32
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-32.html
%F Barrere:EECS-2011-32