Sentence examples for the application behaviours from inspiring English sources

We present the VerCors platform in Section 4.1, then discuss how to use this tool-set for formal verification of the application behaviours in Section 4.2.

This enables modification of the application behaviour to be carried out even by non-C++ programmers.

The maximum value of the mortar slip is taken as criteria for the application behaviour of the mortar in-situ.

Notice that the operation performed in this step neither influences the application behaviour nor limits the possible mode transitions.

The application behaviour is compared with pre-identified attack signatures, which requires an exhaustive set of signatures.

It also makes use of functional blocks to describe the application behaviour.

Which would mean that either firms already consider short unemployment spells among VET graduates to be negative signals or that the experience of short unemployment may be enough to exert a psychological scar and to alter the application behaviour and job search success of the young.

Therefore sophisticated strategies for the use of registers and the various kinds of memories have to be properly evaluated on the basis of the actual application behaviour, because they may have little importance in a short time.

That's the conclusion of a report published just before Christmas which looked at the grant application behaviour of men and women at U.K. universities.

In the typical use case interest focuses around a limited number of values, these are primarily performance factors (cpu, memory, transactions, requests etc), application behaviours (error rates, logs, status codes etc) and user behaviour (click through rates, time per page etc).

This packet latency jitter distorts the timing information conveyed on the synaptic connections in the SNN, resulting in unreliable application behaviour.