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://www2.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://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