Sentence examples for parallel composition from inspiring English sources
With this solution we achieve, in contrast to related work, an associative parallel composition, a compositional preorder, a conjunction on interfaces with dissimilar alphabets supporting perspective-based specifications, and a quotienting operator for decomposing nondeterministic specifications in a single theory.
The symbol stands for parallel composition.
In RBD, model are usually obtained by serial and parallel composition of components and subsystems.
A network of timed automata (NTA) is the parallel composition of a set of TAs.
Term (t t') is the parallel composition of t and (t').
We focus on two of them [20]: sequential composition and parallel composition.
We present here the design goals and the main issues of parallel programming models and languages belonging to the following categories: shared-space based languages, message-based languages, parallel object-oriented languages, and parallel composition-based languages.
Assuming a single processor model, the scalability issue is addressed by introducing operational models for synchronous/asynchronous inter-component message passing, which are designed to reduce spurious behaviors caused by typical parallel compositions.
Based on the concept of the probabilistic transfer matrices (PTMs) and the corresponding operations on PTMs for the serial and parallel compositions of the components in a well-formed circuit, the correctness probability of the output in a 3-input PCMOS majority circuit in a triple modular redundancy (TMR) design can be further computed.
To further measure the molecular mass of the 3.4 S protein species, we carried out in parallel composition-gradient static light scattering experiments.
Nowhere are the similarities (and the contrasts) between Caravaggio and Hals more strikingly apparent than in the first pairing here — Caravaggio's "Boy Bitten by a Lizard," 1594-96, and Hals's "Boy With a Lute," about 1625 — with close parallels in composition and pictorial elements.
