Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,134,378 papers from all fields of science
Search
Sign In
Create Free Account
Synchronous programming language
Known as:
Synchronous reactive programming
, SRP
, Synchronous programming languages
Expand
A synchronous programming language is a computer programming language optimized for programming reactive systems. Computer systems can be sorted in…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
21 relations
Automata-based programming (Shalyto's approach)
Averest
ChucK
Communicating sequential processes
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
NetStar: A Future/Promise Framework for Asynchronous Network Functions
Jingpu Duan
,
Xiaodong Yi
,
Junjie Wang
,
Chuan Wu
,
Franck Le
IEEE Journal on Selected Areas in Communications
2019
Corpus ID: 61807923
Network functions (NFs) are more than simple packet processors that apply various transformations to the packet content. Modern…
Expand
2017
2017
Reluctance synchronous wind generator design optimisation in the megawatt, medium speed range
E. Howard
,
M. Kamper
European Conference on Cognitive Ergonomics
2017
Corpus ID: 40356260
In this paper, reluctance synchronous machines are designed and optimised to operate in the 5 MW power range for the…
Expand
2009
2009
Generating Multi-Threaded code from Polychronous Specifications
B. Jose
,
Hiren D. Patel
,
S. Shukla
,
J. Talpin
SLAP@ETAPS
2009
Corpus ID: 1062109
2006
2006
Horocol language and Hardware modules for robots
D. Duhaut
,
C. Guéganno
,
Y. L. Guyadec
,
M. Dubois
2006
Corpus ID: 17721013
This work inserts in the general field of collective robotics. In this paper, we present the results on the design and the…
Expand
2005
2005
Designing Mathematical Morphology Algorithms on FPGAs: An Application to Image Processing
D. Baumann
,
J. Tinembart
International Conference on Computer Analysis of…
2005
Corpus ID: 28364991
Mathematical morphology is a well-known image and signal processing technique. However, most morphological tools such as Matlab…
Expand
2005
2005
Synchronous testing of multimodal systems: an operational profile-based approach
L. Madani
,
Catherine Oriat
,
I. Parissis
,
J. Bouchet
,
L. Nigay
IEEE International Symposium on Software…
2005
Corpus ID: 9736229
In this paper we present a method for automatically testing interactive multimodal systems. The proposed approach was originally…
Expand
1998
1998
The Multi-Paradigm Synchronous Programming Language
L. Holenderski
,
A. Poigné
1998
Corpus ID: 8965760
We present uniform translation rules for three synchronous programming languages Lustre, Esterel and Argos, to a common…
Expand
1998
1998
Control Laws, Tasks and Procedures with Orccad: Application to the Control of an Underwater Arm
D. Simon
,
K. Kapellos
,
B. Espiau
International Journal of Systems Science
1998
Corpus ID: 11389430
Software reliability is a major issue in the design of control architecture for robots operating in hostile or poorly known…
Expand
1998
1998
The Synchronous Approach to Designing Reactive Systems
A. Poigné
,
M. Morley
,
Olivier Maffeïs
,
L. Holenderski
,
R. Budde
Formal Methods Syst. Des.
1998
Corpus ID: 6618419
Synchronous programming is available through several formally defined languages having very different characteristics: Esterel is…
Expand
1988
1988
Setting target rotation times in an IEEE token bus network
R. Gorur
,
A. Weaver
1988
Corpus ID: 14922136
The IEEE standard 802.4 token bus protocol requires each network station to implement a synchronous (highest priority) message…
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