Sentence examples for be checked at runtime from inspiring English sources

In particular, our techniques are able to determine, at design-time, when and how each constraint must be checked at runtime to avoid irrelevant verifications.

At runtime, it will be checked whether each of these variables are already registered in '_Structure.dta' for the current dataset.

These systems can be conceptualized as a dynamic software product line (DSPL) (Hallsteinsen et al. 2008) in which variability and configuration rules are bound and checked at runtime.

Additionally, the Runtime Goal Model (RGM) adds behavioral constraints to the fulfillment of goals that may be checked against system execution traces.

First, they are usually not part of any of the languages themselves but rather stand outside, which means that they are not checked at design time for correctness, but will fail at runtime if specified incorrectly if not for additional tool support.

The degree of approximation can be controlled at runtime.

Those component models that offer support for runtime reconfiguration [2 4] allow application functionality to be modified at runtime through the insertion, removal, replacement and reconnection of components.

DGRP is particularly suitable for moldable applications that can be reconfigured at runtime [13].

The writing mode can be changed at runtime for the ease of tunning the performance.

Ideally, these changes should be possible at runtime, without breaking the active communication between devices.

Thus, the sum (29) can explicitly be computed at runtime [26].