Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
static program of
Examples with "static program of" and their translation in Frans
Another would be a smart thermostat, which rather than having a static program of heating and cooling your house, learns your habits over time and automatically adjusts to them.
Parmi les autres appareils, le thermostat intelligent, qui remplace le programme fixe de chauffage et de climatisation de votre maison pour apprendre vos habitudes et s'y adapter automatiquement.
Andere resultaten
Using a metamodeling language allows to implement static verification programs of the deployment models.
L'utilisation d'un langage de méta-modélisation permet d'écrire des programmes de vérification statique des modèles.
Using a metamodeling language allows to implement static verification programs of the deployment models.
L'utilisation d'un langage de méta-modélisation permet d'écrire des programmes de vérification statique des modèles de déploiement.
The TV is toes up; every channel shows static instead of the program.
La télé est en panne ; chaque chaîne montre de la neige au lieu du programme.
Display all global and static variables of the program
Affiche toutes les variables globales et statiques du programme
In recent years static analysis of programs has become proven technology for the implementation of compilers and interpreters.
Ces dernières années, l'analyse statique de programmes s'est imposée comme une technologie incontournable pour l'implémentation de compilateurs et d'interpréteurs.
This PHD thesis focuses on static analysis of programs by type inference in order to detect program errors before their execution.
Cette thèse porte sur l'analyse statique de code par typage dans le but de détecter les erreurs dans les programmes avant leur exécution.
Experimentations shows that the analyzer can efficiently and precisly prove some challenging exemples in the field of static analysis of programs manipulating arrays.
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.
I am interested in static analysis of numerical programs, in particular the analysis of arrays contents.
Je travaille sur l'analyse statique de programmes numériques, en particulier sur l'analyse du contenu des tableaux.
The downside is that common libraries are repeated in the static binaries of all programs, but disk space is cheap.
L'inconvénient est que les bibliothèques communes sont répétées dans les binaires statiques de tous les programmes, mais l'espace disque n'est pas cher.
Probabilistic Abstract Interpretation This paper, written with P. Cousot, proposes a new formalism for static analysis of programs that involve probabilities.
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.
Abstract: This PHD thesis focuses on static analysis of programs by type inference in order to detect program errors before their execution.
Résumé : Cette thèse porte sur l'analyse statique de code par typage dans le but de détecter les erreurs dans les programmes avant leur exécution.
Abstract: Static analysis of programs enables to study the possible behaviours of programs without running them.
Résumé : L'analyse statique des programmes permet d'étudier les comportements possibles des programmes sans les exécuter.
Synoniemen voor static program of in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 36206. Exact: 1. Verstreken tijd: 1136 ms.
