Sentence examples for synchronous execution of from inspiring English sources

We previously introduced to Esterel a non-instantaneous gotopause instruction, which prevents the synchronous execution of code before and code after the transition.

Functional processes are well separated in eukaryotes, e.g., through differential compartments such as organelles, whereas most functional processes in prokaryotes co-exist in space and partly in time as exemplified by the synchronous execution of transcription and DNA replication.

To further explore the signalling system for processes that potentially contribute to or counteract a spatially synchronous execution of apoptosis, we investigated the role of caspase-dependent feed-backs, altered reaction kinetics and the consequences of immobilising macromolecular aggregates.

The results from the synchronous execution were omitted because the performance of the asynchronous version was better in all cases, reaching speedups of up to 1.13 × in comparison to the former.

In addition, it also natively supports Esterel's preemption constructs, instructions for signal manipulation, and a notion of logical ticks for synchronous execution.

In this case, the synchronous execution is sufficient to reproduce the behavior of the model.

Therefore, while a synchronous execution is appropriate when the granularity is low, more precise models in terms of granularity call for a better handling of concurrency.

This phenomenon where synchronous lockstep execution of threads is enforced even though it is not necessary is often referred to as over-synchronization. Over-synchronization occurs quite frequently, since the input signals of a system usually have different rates, and even signals of the same rate do not necessarily need to be synchronized if there are no data dependencies among them.

However, due to the synchronous abstraction of time, the execution of synchronous programs must follow data dependencies, which is not necessarily the order given in the source code.

We also present a distributed semantics to formalize the distributed execution of synchronous programs.

This operational semantics supports heterogeneous and hierarchical composition of different models of computation, such as CT, DE, finite state machines, and synchronous languages, and modular execution of the composition as a whole.