Sentence examples for sets of traces from inspiring English sources

The ability to represent sets of traces by means of formulas in temporal logic has recently found important applications in various fields, such as requirements analysis, compositional verification, and contract-based design.

The components of the algebra are asynchronous networks of processes, where processes are sets of traces that model the behaviour of the software applications or devices that are interconnected and execute according to the clock granularity of the network node in which they are placed.

According to Definition 8, for the sets of traces Tr M1 at state (s′1, v′) ∈ C′ and Tr M2 at (s′′1, v′′) ∈ C′′ with the input projection α it holds that Tr M1 ⊆ Tr 1 and Tr M2 ⊆ Tr 2. Since the sets Tr 1 and Tr 2 do not intersect, the sets of output responses at states (s′1, v′) and (s′′1, v′′) to α are different, and thus α is a distinguishing sequence of these two configurations.

The holding potential is -120 mV for both sets of traces.

Some scientists make use of specialized algorithms to look for these and others properties in sets of traces, obtained by repetitive simulation of the same models.

This may give an indication that these algorithms can produce unbiased sets of traces, at least in relation to the distribution of height and average reversal length.

The set of traces executed for the second iteration includes 65 traces.

The set of traces is used by an algorithm that discovers elementary periodic patterns.

We thus give three alternative canonical FSMs that are locally s-equivalent to an FSM M: one that defines the smallest set of traces, one that defines the largest set of traces, and one with fewest states.

Here smallest and largest refer to the set of traces defined by an FSM and thus to its semantics.

The TraceCompass5 trace visualization tool can easily take a set of traces, compute the hull, and apply the corresponding linear transformation to each trace.