Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,263,068 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
Automata-based programming
Averest
Clock Constraints Specification Language
Formal methods
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Events! (Reactivity in urbiscript)
Jean-Christophe Baillie
,
A. Demaille
,
Quentin Hocquet
,
M. Nottale
arXiv.org
2010
Corpus ID: 16271648
Urbi SDK is a software platform for the development of portable robotic applications. It features the Urbi UObject C++ middleware…
Expand
2007
2007
Hardware/Software Synthesis and Verification Using Esterel
Satnam Singh
Communicating Process Architectures Conference
2007
Corpus ID: 18734195
The principal contribution of this paper is the demonstration of a promising technique for the synthesis of hardware and software…
Expand
2006
2006
An Esterel Virtual Machine for Embedded Systems
B. Plummer
,
Mukul Khajanchi
,
Stephen Anthony Edwards
2006
Corpus ID: 16716986
Embedded systems often suer from severe resource constraints such as limited memory for programs and data. In this work, we…
Expand
2004
2004
The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor
Xin Li
,
R. von Hanxleden
SYNCHRON
2004
Corpus ID: 17615770
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined…
Expand
2003
2003
An Introduction to Esterel
Girish Keshav Palshikar
2003
Corpus ID: 60157053
Because of Esterel's textual nature (as opposed to graphical) and compositional facilities, it is relatively easy to write…
Expand
2002
2002
Top-level validation of system-on-chip in Esterel Studio
G. Berry
,
Lionel Blanc
,
A. Bouali
,
Jerome Dormoy
Seventh IEEE International High-Level Design…
2002
Corpus ID: 7593185
We present a new tool-supported methodology for system on chip top-level validation (TLV). The addressed problem is the…
Expand
2000
2000
Multiclock Esterel: a reactive framework for asynchronous design
B. Rajan
,
R. Shyamasundar
Proceedings, International Parallel and…
2000
Corpus ID: 896756
In this paper, we discuss a new paradigm called Multiclock Esterel, based on the paradigm of the synchronous reactive language…
Expand
2000
2000
Formal methods for analysis of heterogeneous models of embedded systems
S. Nadjm-Tehrani
CACSD. Conference Proceedings. IEEE International…
2000
Corpus ID: 2271232
Technological developments in micro-electronics have made digital control an indispensable component in all engineering systems…
Expand
1999
1999
Using Esterel and Formal Methods to Increase the Conndence in the Functional Validation of a Commercial Dsp
Laurent Arditi
,
A. Bouali
,
+4 authors
R. de Simone
1999
Corpus ID: 14473447
At Texas Instruments, real Digital Signal Processor designs targeted at wireless communication are very large designs. The…
Expand
1994
1994
Compilation du langage esterel en systemes d'equations booleennes
F. Mignard
1994
Corpus ID: 169120398
Le travail que nous presentons dans cette these formalise la traduction du langage reactif synchrone esterel en systemes d…
Expand