Citation
Rémi BARRERE, eric lenormand, Dai Bui, Edward A. Lee, Chris Shaver, Stavros Tripakis. "An Introduction to the Pthales Domain of Ptolemy II". Technical report, EECS Department University of California, Berkeley, UCB/EECS-2011-32, April, 2011.

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.

Electronic downloads

• http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-32.html

• HTML

  Rémi BARRERE, eric lenormand, Dai Bui, Edward
  A. Lee, Chris Shaver, Stavros Tripakis. <a
  href="http://chess.eecs.berkeley.edu/pubs/849.html"
  ><i>An Introduction to the Pthales Domain of
  Ptolemy II</i></a>, Technical report,  EECS
  Department University of California, Berkeley,
  UCB/EECS-2011-32, April, 2011.

• Plain text

  Rémi BARRERE, eric lenormand, Dai Bui, Edward
  A. Lee, Chris Shaver, Stavros Tripakis. "An
  Introduction to the Pthales Domain of Ptolemy II".
  Technical report,  EECS Department University of California,
  Berkeley, UCB/EECS-2011-32, April, 2011.

• BibTeX

  @techreport{BARRERElenormandBuiLeeShaverTripakis11_IntroductionToPthalesDomainOfPtolemyII,
      author = {Rémi BARRERE and eric lenormand and Dai Bui and
                Edward A. Lee and Chris Shaver and Stavros Tripakis},
      title = {An Introduction to the Pthales Domain of Ptolemy II},
      institution = {EECS Department University of California, Berkeley},
      number = {UCB/EECS-2011-32},
      month = {April},
      year = {2011},
      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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/849.html}
  }
  

Posted by Christopher Brooks on 13 Jul 2011.
Groups: thales
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.