Sentence examples for transform specifications from inspiring English sources

Furthermore, we develop a refinement calculus that allows us to compare the level of non-determinism between long running transactions, and transform specifications for design and analysis.

Alternatively, the transformed specification is estimated using Tobit as in Rose (2004), Soloaga and Winters (2001).

Some day, perhaps, fabricating machines will be able to transform digital specifications (software) into physical objects (hardware), which will no doubt lead to a vibrant trade in specifications, some of which will be paid for, and some of which will be open-source.But until that day, the term "open-source hardware" is being used in a narrower sense.

This paper demonstrates how DxT can be used to transform sequential specifications of an important set of Dense Linear Algebra (DLA) kernels, the level-3 Basic Linear Algebra Subprograms (BLAS3), into high-performing library routines targeting distributed-memory (cluster) architectures.

We must then follow a rigorous process to transform our specification into an implementation to ensure that the properties we have proved are retained.

More specifically, HLS is presently capable of transforming task specifications in a high-level programming language (such as C or Java) into near optimal hardware implementations for the compute portions of hardware acceleration [7].

Tseng transforms the specifications of a multiple notch filter to those of an equivalent all-pass filter.

This paper addresses the problem of transforming business specifications written in natural language into formal models suitable for use in information systems development.

The former aims to capture and understand customer needs effectively and accordingly to transform them into specifications of product offerings.

When the specifications are written as temporal logic formulæ, algorithms can manipulate the expressions symbolically, and progressively rewrite the original specification as the trace is being read; the pattern is violated when this rewriting process transforms the specification into a contradiction.

A linearization algorithm that transforms any specification from this subset into a so-called normal form is presented.