Multithreaded Reactive Programming—the Kiel Esterel Processor

  title={Multithreaded Reactive Programming—the Kiel Esterel Processor},
  author={Xin Li and Reinhard von Hanxleden},
  journal={IEEE Transactions on Computers},
The Kiel Esterel Processor (KEP) is a multithreaded reactive processor designed for the execution of programs written in the synchronous language Esterel. Design goals were timing predictability, minimal resource usage, and compliance to full Esterel V5. The KEP directly supports Esterel's reactive control flow operators, notably concurrency and various types of preemption, through dedicated control units. Esterel allows arbitrary combinations and nesting of these operators, which poses… CONTINUE READING
6 Citations
34 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 34 references

A Compiler for the Kiel Esterel Processor

  • M. Boldt
  • diploma thesis, Computer Science Dept., Christian…
  • 2007
Highly Influential
8 Excerpts

Direct Execution of Esterel Using Reactive Microprocessors

  • M.W.S. Dayaratne, P. S. Roop, Z. Salcic
  • Proc. Symp. Synchronous Languages, Applications…
  • 2005
Highly Influential
5 Excerpts

Uniform and Modular Composition of Data-Flow and Control-Flow in the Lazy -Calculus

  • M. Mendler, M. Pouzet
  • Proc. Int’l Open Workshop Synchronous Programming…
  • 2008
1 Excerpt

Uniform and modular composition of data - flow & controlflow in the lazy λcalculus

  • M. Mendler, M. Pouzet
  • 2008

Similar Papers

Loading similar papers…