The embedded machine: Predictable, portable real-time code

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2002, Pages 315-326

  Henzinger, Thomas A ^a   Kirsch, Christoph M ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Real Time; Virtual Machine

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE; PROGRAM COMPILERS; REAL TIME SYSTEMS;

VIRTUAL MACHINES;

EMBEDDED SYSTEMS;

EID: 0036036137     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. The development of Erlang
2. The foundations of Esterel
3. Reliable and precise WCET determination for a real-life processor
4. The synchronous dataflow programming language Lustre
5. Giotto: A time-triggered language for embedded programming
6. Efficient compilation of Esterel for real-time embedded systems
7. Toward a discipline of real-time programming
8. Tasks versus threads: An alternative multiprocessing paradigm