Entry Henzinger:2007:EMP from toplas.bib

Last update: Tue May 1 02:05:46 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Henzinger:2007:EMP,
  author =       "Thomas A. Henzinger and Christoph M. Kirsch",
  title =        "The embedded machine: {Predictable}, portable
                 real-time code",
  journal =      j-TOPLAS,
  volume =       "29",
  number =       "6",
  pages =        "33:1--33:29",
  month =        oct,
  year =         "2007",
  CODEN =        "ATPSDT",
  DOI =          "http://doi.acm.org/10.1145/1286821.1286824",
  ISSN =         "0164-0925 (print), 1558-4593 (electronic)",
  ISSN-L =       "0164-0925",
  bibdate =      "Wed Jun 11 19:22:40 MDT 2008",
  bibsource =    "http://www.acm.org/pubs/contents/journals/toplas/;
                 http://www.math.utah.edu/pub/tex/bib/toplas.bib",
  abstract =     "The Embedded Machine is a virtual machine that
                 mediates in real time the interaction between software
                 processes and physical processes. It separates the
                 compilation of embedded programs into two phases. The
                 first phase, the platform-independent compiler phase,
                 generates E code (code executed by the Embedded
                 Machine), which supervises the timing, not the
                 scheduling of, application tasks relative to external
                 events such as clock ticks and sensor interrupts. E
                 code is portable and, given an input behavior, exhibits
                 predictable (i.e., deterministic) timing and output
                 behavior. The second phase, the platform-dependent
                 compiler phase, checks the time safety of the E code,
                 that is, whether platform performance (determined by
                 the hardware) and platform utilization (determined by
                 the scheduler of the operating system) enable its
                 timely execution. We have used the Embedded Machine to
                 compile and execute high-performance control
                 applications written in Giotto, such as the flight
                 control system of an autonomous model helicopter.",
  acknowledgement = ack-nhfb,
  articleno =    "33",
  fjournal =     "ACM Transactions on Programming Languages and
                 Systems",
}

Related entries