Sentence examples for equivalence specification from inspiring English sources

A basic property of any normative theory of decision making – individual or group – is its invariance under the theory's own equivalence specification.

Approximate computing refers to a class of methods that relax the requirement of exact equivalence between the specification and implementation of a computing system [11].

The class of methods and techniques referred to as approximate computing usually relax the requirement of exact equivalence between the specification and implementation of a computing system [11].

To conduct such an analysis, the specifications defined in Galileo documentation are examined and their equivalence with railway specifications is explained (the first point).

The verification problem is posed as equivalence checking between the specification and protocol DSSTs.

This ontology allows the expression of equivalence relations between QoS specifications in different levels, including the expression of equivalence relation between QoS specifications using the network performance parameters (Internet layer) and specifications using QoE parameters (user layer).

Approximate computing relaxes the exact equivalence between the design specifications and the design implementation to achieve Speed-Power-Accuracy-Area (SPAA) trade-off.

In NetQoSOnt, the equivalence relations between QoS specifications are statically defined.

The problems pointed out above arise due to a lack of granularity of the equivalence relations between QoS specifications.

Because there is no subclass of QoSSpec specifying MOS (ge )3.9 in the KB of the NSP, the negotiation system must include the class MOS3.9 in the KB. Figure 1 shows also an example of how NetQoSOnt specifies equivalence relations between QoS specifications.

The proposed technique is based on a reverse-engineering mechanism of obtaining a high level model of the gate level implementation and also introducing an intermediate representation of the specification that makes equivalence checking between two models possible.