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.
static
Optimisation et jeux appliqués à l'analyse statique de programmes par interprétation abstraite
Description en Opimisation and games applied to static analysis by abstract interpretation
JStify (prononcez "justify" ou "jestify" selon votre humeur) sera une boîte à outils pour l'analyse statique de programmes JavaScript 2.
JStify (pronounce "justify" or "jestify" depending on your mood) will be a static analysis toolbox for JavaScript 2.
Résumé : L'analyse statique de programmes est un domaine crucial en compilation, en optimisation, et en validation de logiciels.
Abstract: Static analysis is key area in compilation, optimization and software validation.
Le candidat acquerra des compétences en analyse statique de programmes et en compilation.
The student will acquire competences in program static analysis and compilation.
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.
In recent years static analysis of programs has become proven technology for the implementation of compilers and interpreters.
Je travaille sur l'analyse statique de programmes numériques, en particulier sur l'analyse du contenu des tableaux.
I am interested in static analysis of numerical programs, in particular the analysis of arrays contents.
Ce travail a porté sur l'analyse statique de programmes et, plus précisément, sur l'analyse des propriétés numériques.
The analysis of numerical properties of programs has been an essential research topic for static analysis.
La version 5.2 incluait un outil d'analyse statique de programmes en arrière-plan, une nouvelle bibliothèque de dessin, une bibliothèque de base de données.
Version 5.2 included a background syntax checking tool, a new plotting library, a database library, and a new extended REPL.
Ces deux méthodes sont étudiés au travers de trois problèmes distincts : l'ordonnancement statique de programmes parallèles, le placement de composants électroniques et la planification de réseaux cellulaires.
This two ways are studied by using them on three different problems: Multiprocessor tasks graph scheduling, VLSI cells placements, optimisation of cellular networks.
Ce travail concerne la vérification statique de programmes Java Card annotés formellement, par des méthodes déductives.
This work is about static verification of formally-annotated Java Card programs, by deductive methods.
Une fois complet, JStify sera une boîte à outils pour l'analyse statique de programmes écrits dans le langage JavaScript 2.
When complete, JStify will be a static analysis toolbox for the JavaScript 2 language, targeted towards both web-developers and Firefox extension developers.
Une fois complet, JStify sera une boîte à outils pour l'analyse statique de programmes écrits dans le langage JavaScript 2.
A few months ago, I started JStify, a project for static analysis of programs written in JavaScript 2.
SLAM est un outil d'analyse statique de programmes, développé chez Microsoft Research, pour détecter des erreurs dans les pilotes de périphériques Windows.
SLAM, developed at Microsoft Research, is a static program analyzer that finds bugs in Windows device drivers.
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.
