Loading...
Please wait, while we are loading the content...
Similar Documents
Optimizations for faster execution of esterel programs (2004).
| Content Provider | CiteSeerX |
|---|---|
| Author | Potop-Butucaru, Dumitru Simone, Robert De |
| Abstract | The fine-grained parallelism and the need for determinism are traditional issues in the design of real-time embedded software. In addition, the increasing complexity of the specifications requires an increasing use of higher level formalisms. The Esterel language offers natural solutions to all these problems, but its compilation proved challenging, so that efficient compilation techniques have only recently been proposed. Consisting essentially in direct simulation of the reactive primitives of the language, these techniques now need to be accommodated with traditional issues of Esterel: the definition of formal semantics, the constructive causality, and the design of analysis and optimization methods that are both efficient and correct. |
| File Format | |
| Publisher Date | 2004-01-01 |
| Access Restriction | Open |
| Subject Keyword | Esterel Program Faster Execution Traditional Issue Direct Simulation Natural Solution Optimization Method Fine-grained Parallelism Constructive Causality Esterel Language Level Formalism Reactive Primitive Efficient Compilation Technique Formal Semantics |
| Content Type | Text |
