Thomas A. Henzinger Christoph M. Kirsch...  Home/Search
Context Related
| ohiostate.edu/~gb/cis8...Henzinger.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ohiostate.edu/~gb/cis888.12g/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Embedded Mac hine is a virtualmac hine that mediates in real time the interac36) between software proc esses and physicV proc esses. It separates thecA51CP)OC3 of embedded programs into two phases. The first, platform-independent c6AC6)O phase generates E c de (c de exec633 by the Embedded Mac hine), whic h supervises the timing --- not thesc heduling--- ofapplic)OCP tasks relative to external events, suc h asc loc ktic ks and sensor interrupts. Ec ode is portable and exhibits, given an... (Update)
Cited by: More
Actor-Oriented Design Of Embedded Hardware And Software.. - Lee, Neuendorffer.. (2003) (Correct)
Platform-Based Embedded Software Design and - System Integration For (2003) (Correct)
Overview Of The Ptolemy Project - Hylands, al. (2003) (Correct)
Similar documents (at the sentence level):
6.7%: The Embedded Machine: Predictable, Portable Real-Time Code - Thomas Henzinger Tah (2002) (Correct)
6.2%: The Embedded Machine: - Predictable Portable Real-Time (Correct)
Active bibliography (related documents): More All
0.0: Fault Tolerance in Fixed-Priority Hard Real-Time Distributed Systems - Lima (2003) (Correct)
0.0: Languages and Methods for Specifying Real-Time Systems - Carlson (2002) (Correct)
0.0: Principles of Real-Time Programming - Christoph Kirsch Department (2002) (Correct)
Similar documents based on text: More All
0.2: A Giotto-based Helicopter Control System - Kirsch, Sanvido, Henzinger, Pree (2002) (Correct)
0.2: From Control Models to Real-Time Code - Using Giotto Thomas (Correct)
0.2: Giotto: A Time-Triggered Language for - Embedded Programming Thomas (Correct)
Related documents from co-citation: More All
7: Real-Time Systems: Design Principles for Distributed Embedded Applications (context) - Kopetz - 1997
7: The synchronous data-flow programming language LUSTRE - Halbwachs, Caspi et al. - 1991
6: Embedded Control Systems Development with Giotto - Henzinger, Horowitz et al. - 2001
BibTeX entry: (Update)
T.A. Henzinger and C.M. Kirsch, "The Embedded Machine: Predictable, portable real-time code," in Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), ACM Press, 2002, pp. 315-326. http://citeseer.ist.psu.edu/henzinger02embedded.html More
@misc{ henzinger02embedded,
author = "T. Henzinger and C. Kirsch",
title = "The Embedded Machine: Predictable, portable real-time code",
text = "T.A. Henzinger and C.M. Kirsch, The Embedded Machine: Predictable, portable
real-time code, in Proc. ACM SIGPLAN Conference on Programming Language
Design and Implementation (PLDI), ACM Press, 2002, pp. 315-326.",
year = "2002",
url = "citeseer.ist.psu.edu/henzinger02embedded.html" }
Citations (may not include all citations):94 The foundations of Esterel - Berry - 2000
69 Real-Time Systems and Programming Languages (context) - Burns, Wellings - 1997
60 Hard Real-Time Computing Systems: Predictable Scheduling Alg.. (context) - Buttazzo
3 Functional Programming (context) - Armstrong, of et al. - 1997
Documents on the same site (http://www.cse.ohio-state.edu/~gb/cis888.12g/): More
Software Synthesis and Code Generation for Signal.. - Bhattacharyya.. (1999) (Correct)
Static Checking of Interrupt-driven Software - Brylow, Damgaard, Palsberg (2001) (Correct)
TMS320LF/LC240xA DSP Controllers Reference Guide.. - Texas Instruments.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC