Compiling Esterel into Static Discrete-Event Code

@article{Edwards2006CompilingEI,
  title={Compiling Esterel into Static Discrete-Event Code},
  author={Stephen A. Edwards and Vimal Kapadia and Michael Halasz},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2006},
  volume={153},
  pages={117-131}
}
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most conveniently described as a set of concurrent processes. As with most forms of simulation, this is easy to do correctly but difficult to do efficiently. Solutions such as preemptive operating systems and discrete-event simulators present significant overhead. In this paper, we present a technique for compiling the… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS

Topic