Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,930,385 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.
2013
2013
Polychronous modeling, analysis, verification and simulation for timed software architectures
Huafeng Yu
,
Yuexi Ma
,
T. Gautier
,
L. Besnard
,
P. Guernic
,
J. Talpin
Journal of systems architecture
2013
Corpus ID: 7730152
Review
2013
Review
2013
Exploring system architectures in AADL via Polychrony and SynDEx
Huafeng Yu
,
Yuexi Ma
,
+4 authors
Y. Sorel
Frontiers of Computer Science
2013
Corpus ID: 270873
Architecture analysis & design language (AADL) has been increasingly adopted in the design of embedded systems, and corresponding…
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
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
2011
2011
Software - Hyper-text source documentation of Polychrony
L. Besnard
,
T. Gautier
,
P. Guernic
2011
Corpus ID: 61418979
2010
2010
New Results - Polychrony and Kahn Process Networks
T. Gautier
,
P. Guernic
,
J. Talpin
2010
Corpus ID: 63140181
2009
2009
A metamodel for the design of polychronous systems
Christian Brunette
,
J. Talpin
,
A. Gamatie
,
T. Gautier
J. Log. Algebraic Methods Program.
2009
Corpus ID: 15482149
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
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