Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,110,142 papers from all fields of science
Search
Sign In
Create Free Account
SIGNAL (programming language)
Known as:
Polychrony
, SIGNAL programming language
, Signal
SIGNAL is a programming language based on synchronized data-flow (flows + synchronization): a process is a set of equations on elementary flows…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
28 relations
Asynchrony (computer programming)
Avionics
Bus (computing)
Compiler
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Composing Space/Calculating Space-Time Rhythms*
Katarzyna Kobro
,
Władysław Strzemiński
October
2016
Corpus ID: 57572563
In this treatise, Katarzyna Kobro and Władysław Strzemiński distinguish between the condition of painting (which features a…
Expand
Review
2013
Review
2013
APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study
Matthew Anderson
,
S. Shukla
International Conference on Formal Methods and…
2013
Corpus ID: 25304161
Architecture Analysis and Design Language (AADL) is a standard that originated in the avionics domain, but is now being used in…
Expand
2013
2013
Exploring Software Architectures in AADL via P olychrony and S yn DE x
Yu Huafeng
,
M. Yue
,
+4 authors
Y. Sorel
2013
Corpus ID: 18538835
Architecture Analysis & Design Language (AADL) has been increasingly adopted in the design of embedded systems, and corresponding…
Expand
2011
2011
Software - Hyper-text source documentation of Polychrony
L. Besnard
,
T. Gautier
,
P. Guernic
2011
Corpus ID: 61418979
2011
2011
Session 3: Modelling
Yuko Hara-Azumi
2011
Corpus ID: 62702154
This session focuses on various modeling formalisms, and usage of these formalisms for ESL modeling. For example, AADL is…
Expand
2010
2010
New Results - Polychrony and Kahn Process Networks
T. Gautier
,
P. Guernic
,
J. Talpin
2010
Corpus ID: 63140181
2009
2009
Generating Multi-Threaded code from Polychronous Specifications
B. Jose
,
Hiren D. Patel
,
S. Shukla
,
J. Talpin
SLAP@ETAPS
2009
Corpus ID: 1062109
2008
2008
Software - Eclipse plugins for Polychrony
Christian Brunette
,
L. Besnard
2008
Corpus ID: 56552083
2005
2005
Comparaison des styles de programmation de langages synchrones
C. André
2005
Corpus ID: 59747208
RESUME. Les langages synchrones sont des langages specialises concus pour la programmation sure de systemes reactifs et temps…
Expand
2003
2003
Polychrony for Refinement-Based Design
J. Talpin
,
P. Guernic
,
S. Shukla
,
Rajesh K. Gupta
,
F. Doucet
Design, Automation and Test in Europe
2003
Corpus ID: 3469248
Rising complexities and performances of integrated circuits and systems, shortening time-to-market demands for electronic…
Expand
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)
ACCEPT & CONTINUE