Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
source-to-source transformations
Examples with "source-to-source transformations" and their translation in Frans
A key idea is to use a set of correct source-to-source transformations preserving the functional properties of a given application software.
L'idée de base consiste à utiliser un ensemble de transformations source-à-source correctes en préservant les propriétés fonctionnelles de l'application logiciel.
In this dissertation, we show that concurrent programs written in threaded style can be translated automatically into efficient, equivalent event-driven programs through a series of proven source-to-source transformations.
Nous montrons dans cette thèse que des programmes concurrents écrits dans un style à threads sont traduisibles automatiquement en programmes à événements équivalents et efficaces par une suite de transformations source-source prouvées.
The method is based on the successive application of three types of source-to-source transformations: flattening of components, flattening of connectors and composition of atomic components.
La méthode est basée sur l'application successive de trois types de transformations source-à-source: aplatissement des composants, aplatissement des connecteurs et la composition des composants.
To handle their huge PHP codebase, Facebook developed pfff, a set of tools and APIs to perform static analysis, dynamic analysis, code visualizations, code navigations, and style-preserving source-to-source transformations such as refactorings on source code.
Pour gérer son énorme base de code PHP, Facebook a développé pfff, un ensemble d'outils et d'APIs pour effectuer des analyses statiques, des analyses dynamiques, de la visualisation de code, naviguer dans le code, et des transformations source-à-source préservant le style.
In this dissertation, we show that concurrent programs written in threaded style can be translated automatically into efficient, equivalent event-driven programs through a series of proven source-to-source transformations.
Nous montrons dans cette thèse que des programmes concurrents écrits dans un style à threads sont traduisibles automatiquement en programmes à événements équivalents et efficaces par une suite de transformations source-source prouvées.
Andere resultaten
This tool performs a number of program debugging, analysis and source-to-source transformation tasks on Prolog programs.
Cet outil effectue un certain nombre de tâches de débogage, d'analyse et de transformation source-à-source sur les programmes Prolog.
the method comprises performing a source-to-source transformation of the program
le procédé comprend la réalisation d'une transformation source à source du programme
Our approach uses a source-to-source transformation of the original code in order to collect information at runtime.
Notre approche utilise une transformation du code source afin de produire cette in- formation au cours de l'exécution.
To ease this task, one solution is to provide a source-to-source transformation toolbox targeting High-Level Synthesis.
Pour faciliter cette tâche, une solution consiste à mettre en œuvre une boite à outils pour des transformations source-à-source orientées synthèse de haut niveau.
The RECODER libraries provide a powerful platform for all kinds of Java, C and C# source-to-source transformation.
Les bibliothèques RECODER constituent une plate-forme puissante pour tous les types de transformation source à source Java, C et C#.
It is based on source-to-source correct-by-construction transformations of BIP models.
La méthode utilisée s'appuie sur des transformations source-vers-source des modèles BIP.
This provides several benefits over conventional source-to-source security transformations.
Cela produit plusieurs avantages par rapport aux transformations de sécurité source à source conventionnelles.
The third contribution of this thesis is a tool called Nestor aimed at easing the implantation of source to source Fortran code transformations.
Le troisième apport de cette thèse est un outil appelé Nestor destiné à faciliter l'implantation de transformations source à source de programmes Fortran.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 16. Exact: 5. Verstreken tijd: 74 ms.
