We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
program variables
variables of the program
variables in the program
Afin de calculer le coût symbolique, nous conditionnons l'existence d'une dépendance en l'annotant par un prédicat sur les variables du programme.
To compute the symbolic cost, we condition the existence of a dependence by annotating it with a predicate on program variables.
Toutes les variables du programme et signaux peuvent être affichés selon le choix de l'utilisateur pour différentes catégories d'objets et fonctions d'analyse
All program variables and signals can be displayed according to a highly flexible user definition for various object categories and analysis functions
Cependant, le temps passé en traitement était moins important que les autres variables du programme (comme les caractéristiques du personnel).
However, time in treatment was less important than other program variables (e.g., staff characteristics).
dans laquelle des variables du programme importantes pour la sécurité sont traitées sans erreur, et au moins une deuxième partie de programme
in which safety-relevant program variables are processed in a fail-safe manner, and at least one second program part
GladeVCP dispose d'un mécanisme facile à utiliser pour enregistrer et restaurer l'état des widgets de HAL, ainsi que les variables du programme (en fait, n'importe quel attribut d'instance de type int, float, bool ou string).
GladeVCP has an easy-to-use mechanism to save and restore the state of HAL widgets, and program variables (in fact any instance attribute of type int, float, bool or string).
Par conséquent, les variables du programme C sont appelées variables hôtes.
Il était forcé d'insérer de nombreuses fois ces lignes dans son code source afin d'inspecter les valeurs des variables du programme pendant l'exécution.
He was forced to insert numerous times these lines through out his source code in order to inspect the values of the program variables during running-time.
Ces invariants sont des propriétés sur les variables du programme vraies pour toute exécution.
For this purpose, abstract interpretation is a framework that enables the computation of invariants, i.e. properties on the variables that always hold for any program execution.
Parfois, cela est nécessaire quand on lit des chaînes auprès de l'utilisateur avec des références de variable et qu'on veut les étendre aux valeurs des variables du programme perl.
Sometimes this comes up in reading strings from the user with variable references and wanting to expand them to the values of your perl program's variables.
À cette fin, nous proposons une technique de génération de contre-exemples, qui exhibent des valeurs pour les variables du programme pour lesquelles une certaine partie de la spécification ne peut pas être prouvée.
To that mean, we propose a technique for generating counterexamples, exhibiting some values for the variables of the program where a given part of the specification fails to be validated.
C'est lors de celle-ci que le compilateur décide de la façon dont les variables du programme sont stockées en mémoire durant son exécution.
Register allocation is the phase within which the compiler decides where the variables of the program are stored in the memory during its execution.
Cette analyse permet le calcul d'approximations supérieures d'invariants du programme et de vérifier la veracite de propriétés definies en termes de variables du programme.
This analysis allows the computation of an upper approximation of program invariants and consequently to verify the truth of properties expressed in terms of program variables.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
