Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
pointer aliasing
déclaration de pointeurs synonymes
This limits the effects of pointer aliasing, aiding optimizations.
Cela limite les effets de l'aliasing de pointeur, aidant aux optimisations.
These logic formulas can be proven automatically or using proof assistants.When a program is written in a language supporting pointer aliasing, i.e. if several variables may denote the same memory cell, then reasoning about the program becomes particularly tricky.
Ces formules logiques peuvent être prouvées automatiquement ou à l'aide d'assistants de preuve.Lorsqu'un programme est écrit dans un langage supportant les alias de pointeurs, c'est-à-dire si plusieurs variables peuvent désigner la même case mémoire, alors le raisonnement sur le programme devient particulièrement ardu.
These logic formulas can be proven automatically or using proof assistants.When a program is written in a language supporting pointer aliasing, i.e. if several variables may denote the same memory cell, then reasoning about the program becomes particularly tricky.
Ces formules logiques peuvent être prouvées automatiquement ou à l'aide d'assistants de preuve.Lorsqu'un programme est écrit dans un langage supportant les alias de pointeurs, c'est-à-dire si plusieurs variables peuvent désigner la même case mémoire, alors le raisonnement sur le programme devient particulièrement ardu.
Its parameters are assumed to be non-aliased (see Aliasing (computing) and Pointer aliasing).
Ces paramètres sont supposés ne pas être aliasés (au sens pointeur du terme).

Andere resultaten

We also discuss pointers aliasing problem in GPU codes and propose two static analysis tools that perform automatically at source level type qualifier insertion and scalar promotion to solve aliasing issues.
Nous discutons également du problème d'alias des pointeurs dans les codes GPU et proposons deux outils d'analyse statiques qui permettent d'insérer automatiquement les qualificateurs de type et le remplacement par scalaire dans le code source.
The second chapter addresses some questions related to verification of programs with pointers in the presence of aliasing, i.e. when several pointers handled by a program denote a same memory cell.
En présence d'aliasing, c'est-à-dire lorsque plusieurs pointeurs manipulés dans un programme dénotent une même case mémoire, la spécification et la vérification deviennent non triviales.
including simple variables and complex data objects such as records, unions, pointers and procedure calls in the presence of aliasing
y compris des variables simples et des objets de données complexes tels que des enregistrements, des opérations ou, des indicateurs et des appels de traitement en présence de l'effet d'escalier
A new "Windows Aero" mouse pointer scheme was introduced, which introduced anti-aliasing to the mouse pointer for the first time, and many of the remaining Windows XP-style icons have been replaced with new icons.
Un nouveau schéma de pointeur de souris "Windows Aero" a été introduit, qui introduit pour la première fois le Anticrénelage, et de nombreuses icônes de style Windows XP restantes ont été remplacées par de nouvelles des icônes.
The second chapter addresses some questions related to verification of programs with pointers in the presence of aliasing, i.e. when several pointers handled by a program denote a same memory cell.
En présence d'aliasing, c'est-à-dire lorsque plusieurs pointeurs manipulés dans un programme dénotent une même case mémoire, la spécification et la vérification deviennent non triviales.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor pointer aliasing in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
needle: thin, pointed metal tool used for sewing
Ontdek het woord
needle
Publiciteit

Resultaten: 9. Exact: 4. Verstreken tijd: 31 ms.