Examples with "statique des programmes" and their translation in Engels
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.
Les limitations de l'analyse statique des programmes et des approches dynamiques fondées sur une execution courante nous conduisent a preconiser la mise en oeuvre de méthodes basées sur la reproduction d'une execution qui apportent une solution au non-déterminisme en fixant une execution.
The limitations of both static analysis and dynamic approaches based on a current execution justify the choice of a debugging methodology based on replay, which solves the problem of nondeterminism by recording an execution.
Les limitations de l'analyse statique des programmes et des approches dynamiques fondées sur une execution courante nous conduisent a preconiser la mise en oeuvre de méthodes basées sur la reproduction d'une execution qui apportent une solution au non-déterminisme en fixant une execution.
The limitations of both static analysis and dynamic approaches based on a current execution justify the choice of a debugging methodology based on replay, which solves the problem of nondeterminism by recording an execution.
Résumé : L'analyse statique des programmes permet d'étudier les comportements possibles des programmes sans les exécuter.
Abstract: Static analysis of programs enables to study the possible behaviours of programs without running them.
Il est frappant de constater que la grande majorité des travaux existants emploient des méthodes de vérification statique des programmes, qui requirent soit un effort d'annotations soit l'introduction de fortes contraintes sur la forme et les références vers messages échangés.
Strikingly the vast majority of the previous works rely on a set of statically checkable typing rules, either requiring an annotation overhead or introducing strong restrictions on the shape and the aliasing of the exchanged messages.
Andere resultaten
Avec Solaris il n'est pas possible de lier statiquement des programmes utilisant les services NSS.
With Solaris, it isn't possible to link programs using the NSS Service statically.
Ce papier, écrit avec P. Cousot, propose un nouveau formalisme pour analyser statiquement des programmes à interactions probabilistes, qui étend le cadre habituel de l'interprétation abstraite.
Probabilistic Abstract Interpretation This paper, written with P. Cousot, proposes a new formalism for static analysis of programs that involve probabilities.
Résumé : Le typage statique des langages de programmation garantit des propriétés de sûreté d'exécution des programmes et permet l'usage de représentations de données dénuées d'informations de types.
Abstract: Static typechecking in programming languages allows strong safety properties - well-typed programs don't go wrong - and avoids costly dynamic type checking and runtime type representation.
Il est impossible d'employer le panneau d'affichage statique dans des programmes tels qu'Amber Alert.
It is impossible to use static billboard in such programs as AMBER Alert.
Couleurs statiques ainsi que des programmes automatisés vous donnent la possibilité d'adapter votre spectacle de lumière à vos besoins.
Static colours as well as automated programs give you the opportunity to tailor your light show to your needs.
Divers modèles sont proposés pour l'analyse statique ou dynamique des programmes, l'historique de développement, le code procédural ou aspect.
Various models are offered for the static or dynamic analysis of programs, development history and procedural or aspect code.
les exercices comprennent des programmes statiques et dynamiques également adaptés aux résultats des essais génétiques
the exercises include static and dynamic routines also tailored to the results of the genetic testing
Résumé : Cette thèse présente un algorithme d'analyse statique pour des programmes parallèles.
Abstract: This Phd thesis presents a static analysis algorithm for programs with threads.
AMP Threat Grid combine dans une solution unifiée des fonctionnalités d'analyse statique et dynamique des programmes malveillants et de sécurité adaptative.
Overview AMP Threat Grid combines static and dynamic malware analysis with threat intelligence into one unified solution.
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.
