Stephen A. Edwards  Home/Search
Context Related
| columbia.edu/~sedw...rds2002esterel.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: columbia.edu/~sedw...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Embedded hard real-time software systems often need finegrained parallelism and precise control of timing, things typical real-time operating systems do not provide. The Esterel language has both, but compiling large Esterel programs has been challenging, producing either needlessly slow or large code. This paper presents the first Esterel compiler able to compile large Esterel programs into fast, small code. By choosing a concurrent control-flow graph as its intermediate representation, it... (Update)
Cited by: More
JVM Independent Replay in Java - Schuppan, Baur, Biere (2004) (Correct)
Optimizations For Faster Execution Of Esterel Programs - Potop-Butucaru, de Simone (2004) (Correct)
Active bibliography (related documents): More All
0.6: Compiling Esterel into Sequential Code - Synopsys (2000) (Correct)
0.5: Hierarchical Finite State Machines with Multiple Concurrency.. - Girault, Lee, Lee (1999) (Correct)
0.3: The Specification and Execution of Heterogeneous Synchronous.. - Edwards (1995) (Correct)
Similar documents based on text: More All
0.4: Programming a Digital Watch In ESTEREL v3 - Berry (1991) (Correct)
0.4: An Esterel Compiler for a Synchronous/Reactive Development System - Edwards (1994) (Correct)
0.4: The Constructive Semantics of Pure Esterel - Berry (1996) (Correct)
Related documents from co-citation: More All
2: Recplay fully integrated practical recordreplay system (context) - Ronsse, Recplay et al. - 1999
2: Eraser: A dynamic data race detector for multi-threaded programs - Savage, Burrows et al. - 1997
2: Optimal Tracing and Replay for Debugging Shared Memory Parallel Programs - Netzer - 1993
BibTeX entry: (Update)
Edwards, S., An Esterel compiler for large control-dominated systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 21 (2002). http://citeseer.ist.psu.edu/edwards02esterel.html More
@misc{ edwards02esterel,
author = "S. Edwards",
title = "An Esterel compiler for large control-dominated systems",
text = "Edwards, S., An Esterel compiler for large control-dominated systems, IEEE
Transactions on Computer-Aided Design of Integrated Circuits and Systems
21 (2002).",
year = "2002",
url = "citeseer.ist.psu.edu/edwards02esterel.html" }
Citations (may not include all citations):457 The Esterel synchronous programming language: Design, semant.. - Berry, Gonthier - 1992
235 The synchronous data flow programming language LUSTRE - Halbwachs, Caspi et al. - 1991
92 A fast algorithm for finding dominators in a flowgraph (context) - Lengauer, Tarjan - 1979
60 The constructive semantics of pure Esterel - Berry - 1999
47 Constructive analysis of cyclic circuits - Shiple, Berry et al. - 1996
30 An algorithm for structuring flowgraphs (context) - Baker - 1977
26 Efficient chaotic iteration strategies with widenings - Bourdoncle - 1993
22 A case study in computeraided co-design of embedded controll.. (context) - Chiodo, Engels et al. - 1996
21 Synthesis of software programs for embedded control applicat.. - Chiodo, Giusto et al. - 1995
21 Synthesis of software programs for embedded control applicat.. - Balarin, Chiodo et al. - 1999
20 ECL: A specification environment for system-level design - Lavagno, Sentovich - 1999
18 Heterogeneous modeling and simulation of embedded systems in.. (context) - Buck, Vaidyanathan - 2000
17 Generating efficient protocol code from an abstract specific.. - Castelluccia, Dabbous et al. - 1997
16 Software synthesis of process-based concurrent programs - Lin - 1998
15 Structuring decompiled graphs - Cifuentes - 1996
15 The Specification and Execution of Heterogeneous Synchronous.. - Edwards
13 Modeling design constraints and biasing in simulation using .. - Yuan, Shultz et al.
7 Efficient compilation of Esterel for real-time embedded syst.. (context) - Weil, Bertin et al. - 2000
6 Compositional software synthesis of communicating processes (context) - Zhu, Lin - 1999
6 Esterel: A formal method applied to avionic software develop.. (context) - Berry, Bouali et al. - 2000
4 The synchronous approach to reactive realtime systems (context) - Benveniste, Berry - 1991
4 Automatic distribution of reactive systems for asynchronous .. (context) - Caspi, Girault et al. - 1999
2 Une nouvelle m ethode de compilation pour le language ESTERE.. (context) - Bertin, Poize et al. - 1999
2 Programming a reflex game in Esterel V3 (context) - Bernhard, Berry et al. - 1989
1 emantiques et mod eles d'ex ecution des langages r eactifs s.. (context) - Gonthier - 1988
1 Hardware/software co-design of an avionics communication pro.. (context) - Clout, Contensou et al. - 1999
1 Programming a digital wristwatch in Esterel V3 (context) - Berry - 1991
Documents on the same site (http://www.cs.columbia.edu/~sedwards/publications.html): More
Compiling Concurrent Languages for Sequential Processors - Stephen Edwards Computer (2001) (Correct)
An Esterel Compiler for a Synchronous/Reactive Development System - Edwards (1994) (Correct)
Efficient Verification and Synthesis using Design Commonalities - Gitanjali Swamy (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