T.A. Henzinger and C.M. Kirsch. The embedded machine: predictable, portable real-time code. In Proc. ACM SIGPLAN Conference on Programming Languages Design and Implementation (PLDI), pages 315--326. ACM Press, 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Schedule-Carrying Code - Thomas Henzinger Christoph (2003) (1 citation) Self-citation (Henzinger Kirsch) (Correct)
No context found.
T.A. Henzinger and C.M. Kirsch. The embedded machine: predictable, portable real-time code. In Proc. ACM SIGPLAN Conference on Programming Languages Design and Implementation (PLDI), pages 315--326. ACM Press, 2002.
A Preliminary Report on the Embedded Virtual Machine - Arkadeb Ghosal Marco Self-citation (Henzinger) (Correct)
No context found.
Henzinger, T.A., Kirsch, C.M.: The Embedded Machine: Predictable, portable real-time code. In: Proceedings of Programming Language Design and Implementation, ACM Press (2002) 315--326
Distributed Schedule Carrying Code - Thomas Henzinger Christoph Self-citation (Henzinger Kirsch) (Correct)
No context found.
T. A. Henzinger and C. M. Kirsch. The Embedded Machine: Predictable, Portable Real-time Code In Proc. PLDI, pp. 315-326, ACM Press, 2002.
Event-driven Programming with Logical Execution Times - Ghosal, Henzinger, Kirsch.. (2004) Self-citation (Henzinger Kirsch) (Correct)
No context found.
Henzinger, T.A., Kirsch, C.M.: The Embedded Machine: predictable, portable real-time code. In: Proc. Programming Language Design and Implementation, ACM (2002) 315--326
Schedule-Carrying Code - Thomas Henzinger Christoph (2003) (1 citation) Self-citation (Henzinger Kirsch) (Correct)
No context found.
T.A. Henzinger and C.M. Kirsch. The Embedded Machine: predictable, portable real-time code. In Proc. Programming Language Design and Implementation, pp. 315--326. ACM, 2002.
Principles of Real-Time Programming - Christoph Kirsch Department (2002) (3 citations) Self-citation (Kirsch) (Correct)
No context found.
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), pages 315--326, 2002.
A Giotto-based Helicopter Control System - Kirsch, Sanvido, Henzinger, Pree (2002) (3 citations) Self-citation (Henzinger Kirsch) (Correct)
....code implements the actual sensor reading, actuator update, and control law computation. Functionality code must be written in a programming language such as C or Oberon. Timing and functionality code are executed on a runtime system that consists of a virtual machine called the Embedded Machine [4] and a real time operating system. The timing code, also called E code, is interpreted by the Embedded Machine whereas the functionality code is scheduled for execution by the operating system s scheduler. The scheduling scheme of the operating system and the schedulability test of the Giotto ....
....tasks must be taken into account by the schedulability analysis performed by the Giotto compiler; background tasks are performed only when the Giotto system is idle. In the middle of Figure 10, the original OLGA software system is shown extended by an implementation of the Embedded Machine [4] in the kernel of the HelyOS real time operating system. The software system runs on the OLGA computer system. A Giotto program does not specify where, how, and when tasks are scheduled. For example, the helicopter control program can be compiled on platforms that have a single CPU (by time ....
[Article contains additional citation context not shown here]
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), pages 315--326. ACM Press, 2002.
Time-Safety Checking for Embedded Programs - Henzinger, Kirsch, Majumdar.. (2002) (3 citations) Self-citation (Henzinger Kirsch) (Correct)
....E code, the analysis is exponential, for E code generated from typical Giotto programs, the analysis is polynomial. This supports our claim that Giotto identifies a useful fragment of embedded programs. 1 Introduction We have advocated a platform independent approach to embedded programming [4, 5]: the programmer specifies the timing and functional aspects of the program, and the compiler checks if the program can be executed as intended on a particular platform in a particular environment. Besides providing the programmer with an application level abstraction, and the obvious benefits of ....
....specified by the E program. In this model, time safety the logical atomicity of tasks means that during an execution, the state of a scheduled task is not accessed (by a driver or another task) until the task completes. We have introduced two languages for specifying E actions. The E machine [5] is a virtual machine that executes E code, whose instructions can specify arbitrary sequences of E actions. Giotto [4] is a structured language for specifying limited combinations of E actions that occur in typical control applications, where a controller may switch between modes, and within each ....
[Article contains additional citation context not shown here]
T.A. Henzinger and C.M. Kirsch. The embedded machine: predictable, portable real-time code. In Proc. Conf. Programming Languages Design and Implementation, pp. 315--326. ACM, 2002.
Unknown - (Correct)
No context found.
T.A. Henzinger and C.M. Kirsch. The Embedded Machine: Predictable, portable real-time code. In Proc. of the International Conference on Programming Language Design and Implementation, pages 315--326. ACM Press, 2002.
Generating Embedded Software from Hierarchical Hybrid.. - Alur, Ivancic, Kim, Lee, .. (2003) (3 citations) (Correct)
No context found.
T.A. Henzinger and C.M. Kirsch. The embedded machine: Predictable, portable, real-time code. In Proceedings of the ACM Conference on Programming Language Design and Implementation, pages 315--326, 2002.
Actor-Oriented Design Of Embedded Hardware And Software Systems - Lee, Neuendorffer (2003) (2 citations) (Correct)
No context found.
T. A. Henzinger and C. M. Kirsch. The Embedded Machine: Predictable, portable real-time code. In Proceedings of Conference on Programming Language Design and Implementation(PLDI). SIGPLAN, ACM, June 2002.
Actor-Oriented Design Of Embedded Hardware And Software Systems - Lee, Neuendorffer (2003) (2 citations) (Correct)
No context found.
T. A. Henzinger and C. M. Kirsch. The Embedded Machine: Predictable, portable real-time code. In Proceedings of Conference on Programming Language Design and Implementation(PLDI). SIGPLAN, ACM, June 2002.
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