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.
programs manipulating
Cependant la vérification de propriétés sur des programmes manipulant des pointeurs est encore complexe.
However verification of properties on programs manipulating pointer structures is still hard.
L'expérimentation démontre qu'elles peuvent analyser avec efficacité et précision un certain nombre d'exemples constituant des défis de l'analyse statique de programmes manipulant des tableaux.
Experimentations shows that the analyzer can efficiently and precisly prove some challenging exemples in the field of static analysis of programs manipulating arrays.
L'intention originale de ces logiques est de vérifier formellement la correction de programmes manipulant des pointeurs.
These logics were originally intended for the formal verification of programs with pointers.
Plusieurs systèmes ont été proposés pour spécifier et prouver que des programmes manipulant une certaine combinaison d'effets respectent leur spécification.
Various frameworks for specifying programs and proving that they meet their specification have been proposed that are specific to a particular combination of side-effects.
En interne, les programmes manipulant les noms de domaines peuvent les représenter comme des séquences d'étiquettes, chacune comportant une octet de longueur suivi d'une chaîne d'octets.
Internally, programs that manipulate domain names should represent them as sequences of labels, where each label is a length octet followed by an octet string.
Les mécanismes de contrôle de flux d'information permettent justement d'analyser des programmes manipulant de l'information sensible, afin de prévenir les fuites d'information.
An important field in computer science, that is concerned about analysing programs in order to confine and control the release of sensitive information, is the information flow control field.
Nous avons utilisé ce domaine abstrait afin d'analyser une famille de programmes manipulant des graphes représentés par liste d'adjacence.
Based on this abstract domain, we analyzed a group of programs dealing with adjacency lists of graphs.
Un des défis majeurs en programmation XML consiste à développer des techniques automatisées permettant d'assurer statiquement un typage correct et des optimisations de programmes manipulant les données XML.
One of the biggest challenges in XML is to develop automated techniques for ensuring static-type safety and optimization techniques.
D'une manière générale, les programmes manipulant des clés privées RSA ou DSA implémentent un mécanisme demandant à l'utilisateur un mot de passe afin de déchiffrer la clé privée accessible sur le système de fichiers.
Usually, software manipulating RSA or DSA secret keys ask the user a password in order to decipher the private key stored on the filesystem.
Résumé : Dans cette thèse, nous étudions l'analyse statique par interprétation abstraites de programmes manipulant des tableaux, afin d'inférer des propriétés sur les valeurs numériques et les structures de données qui y sont stockées.
Abstract: We study the static analysis on both numeric and structural properties of array con- tents in the framework of abstract interpretation.
Un des défis majeurs en programmation XML consiste à développer des techniques automatisées permettant d'assurer statiquement un typage correct et des optimisations de programmes manipulant les données XML.
One of the biggest challenges in XML is to develop automated techniques for ensuring static-type safety and optimization techniques.
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.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor programmes manipulant in het Frans
