Sentence examples for design of correct from inspiring English sources

We illustrate the design of correct semantics-based program transformations by abstract interpretation on blocking code elimination.

This paper presents our work on the design of correct and efficient checkpoint and recovery strategies for distributed agent systems.

It is demonstrated that the design of correct and efficient shared memory parallel programs is difficult as the performance depends on data locality and cache memory effects.

To help with the design of correct controllers, we present a methodology that enables the verification of linear-time temporal logic properties of general, non-linear hybrid systems.

Since their invention, Petri nets have provided modelling and analysis methods to support the design of correct, reliable and robust systems.

The project is ambitious in bringing together progress in the design of provably correct embedded CPS systems with machine learning and data analytics from the Internet of Things.

Careful design of the correct blocking aperture diameter for the geometry and the deceleration potential is critical for BSE/SE separation.

The scope of supply, design, and correct manufacture of the specified system is presented in the chapter.

The design of the ball corrects slices and hooks by 75 percent.

Theory has been developed to empower the SLCA based PP to sense its malfunctioning and that leads to the design of a self-correcting PP.

Optimal functionality is achieved through correct design of the upper and lower parts of the shoe, correct last shape with technically chosen materials and components, correct shoe construction, and the appropriate shoemaking technique.