Sentence examples for synchronous program from inspiring English sources

The interface allows interaction between the synchronous program, the sensors and the managers.

For assigning values to variables, we use the following actions: Definition 3. (Action) The actions in a synchronous program are assignments of one of the following forms.

The following definition takes care of the variables and their clocks: Definition 2. (Variables) V is the set of variables of a synchronous program.

Nevertheless, AIF files contain the entire behavior of the given synchronous program, and they are therefore the central part of the target-independent analyses of various back end tools.

Using this notion, we study separate compilation for synchronous programs.

Esterel belongs to the family of synchronous programming languages, which are affected by cyclic signal dependencies.

Compared to these works, we rely on synchronous programming and discrete controller synthesis.

In previous work, we have revisited the SL synchronous programming model.

Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems.

We details in section 'Synchronous programming and discrete controller synthesis' the principles of BZR, a synchronous programming language allowing modelling a system through automata and integrating DCS within its compiler.

Checking this property statically is known as causality analysis [7, 15, 23 28] in the context of synchronous programs.