Citation
Isaac Liu, Ben Lickly, Hiren Patel. "Precision Timed Machine (PRET)". Talk or presentation, 21, February, 2008.

Abstract
The goal of the PRET project is to develop new abstractions for computer systems that emphasize correctness of timing on the same level as performance and traditional functional correctness. We feel that all abstraction layers, from the high level programming specifications to the low level architecture, must be augmented in order to support these aims.

Electronic downloads

• PRET_liu_lickly.pot · application/octet-stream · 2991 kbytes

• HTML

  Isaac Liu, Ben Lickly, Hiren Patel. <a
  href="http://chess.eecs.berkeley.edu/pubs/522.html"
  ><i>Precision Timed Machine
  (PRET)</i></a>, Talk or presentation,  21,
  February, 2008.

• Plain text

  Isaac Liu, Ben Lickly, Hiren Patel. "Precision Timed
  Machine (PRET)". Talk or presentation,  21, February,
  2008.

• BibTeX

  @presentation{LiuLicklyPatel08_PrecisionTimedMachinePRET,
      author = {Isaac Liu and Ben Lickly and Hiren Patel},
      title = {Precision Timed Machine (PRET)},
      day = {21},
      month = {February},
      year = {2008},
      abstract = {The goal of the PRET project is to develop new
                abstractions for computer systems that emphasize
                correctness of timing on the same level as
                performance and traditional functional
                correctness. We feel that all abstraction layers,
                from the high level programming specifications to
                the low level architecture, must be augmented in
                order to support these aims.},
      URL = {http://chess.eecs.berkeley.edu/pubs/522.html}
  }
  

Posted by Isaac Liu on 7 Feb 2009.
Groups: pret
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.