Skip to search formSkip to main contentSkip to account menu

Esterel

Known as: Esterel language, Esterel programming language 
Esterel is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

20 relations
Automata-based programmingAverestClock Constraints Specification LanguageFormal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Semantic clone detection for model-based development of embedded systems
With model-based development becoming an increasingly common development methodology in embedded systems engineering, models have… 
2009
2009
Efficient implementation of IEC 61499 function blocks
Current trends in the manufacturing sector have greatly increased the need for portability and reusability in software systems… 
2009
2009
Generating Multi-Threaded code from Polychronous Specifications
2006
2006
EPICURE: A partitioning and co-design framework for reconfigurable computing
Highly Cited
2005
Highly Cited
2005
LusSy: a toolbox for the analysis of systems-on-a-chip at the transactional level
We describe a toolbox for the analysis of systems-on-a-chip described in SystemC at the transactional level. The tools are able… 
2005
2005
Designing Mathematical Morphology Algorithms on FPGAs: An Application to Image Processing
Mathematical morphology is a well-known image and signal processing technique. However, most morphological tools such as Matlab… 
2004
2004
REFLIX: a processor core with native support for control-dominated embedded applications
2002
2002
The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs
1999
1999
On The Expressiveness of Timed Concurrent Constraint Programming
1998
1998
A Refinement Calculus for Statecharts
We present a Statecharts dialect with only three syntactic constructs and a semantics that is not restricted to describe reactive… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)