Examples with "de transformations source" 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.
Le troisième apport de cette thèse est un outil appelé Nestor destiné à faciliter l'implantation de transformations source à source de programmes Fortran.
The third contribution of this thesis is a tool called Nestor aimed at easing the implantation of source to source Fortran code transformations.
Andere resultaten
Cet outil effectue un certain nombre de tâches de débogage, d'analyse et de transformation source-à-source sur les programmes Prolog.
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.
A key idea is to use a set of correct source-to-source transformations preserving the functional properties of a given application software.
Permet la construction de compilateurs personnalisés JOVIAL, outils d'analyse, ou des outils de transformation source.
Enables the construction of JOVIAL custom compilers, analysis tools, or source transformation tools.
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.
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.
Les bibliothèques RECODER constituent une plate-forme puissante pour tous les types de transformation source à source Java, C et C#.
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.
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.
Nous nous sommes également intéressés aux problèmes de génération automatique d'accélérateurs pour nids de boucles, notamment au travers d'un flot de transformation source à source de boucles ciblant en sortie des outils de synthèse de haut niveau "C to hardware".
Some of these results have been implemented in a source to source compiler framework specifically targeted at commercial C to hardware High Level Synthesis tools.
Nous avons ensuite montré, sur plusieurs applications de type multimédia, avec un autre outil de HLS, Spark, que le même avantage pouvait être obtenu avec une étape préliminaire semi-automatique de transformations source-à-source (ici de C vers C).
We then showed, on several multi-media applications and with another HLS tool, Spark, that the same benefit could be obtained with a preliminary semi-automatic source-to-source (here C-to-C) transformations step.
Cette lutte des classes est la principale source de transformation sociale.
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.
