Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

An Introduction to the Pthales Domain of Ptolemy II

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

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2011-32
April 26, 2011

http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/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},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2011},
    Month = {Apr},
    URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-32.html
%F Barrere:EECS-2011-32