Examples with "transformations source-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.
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.
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.
Andere resultaten
La méthode utilisée s'appuie sur des transformations source-vers-source des modèles BIP.
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.
le procédé comprend la réalisation d'une transformation source à source du programme
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.
Les bibliothèques RECODER constituent une plate-forme puissante pour tous les types de transformation source à source Java, C et C#.
The RECODER libraries provide a powerful platform for all kinds of Java, C and C# source-to-source transformation.
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.
Tungstène chauffé par une résistance, transformateur d'évaporation Source, source de haute tension de bombardement ionique, l'approvisionnement en silicium contrôlable
Supply Type Tungsten heated by resistance, evaporation transformer source, high voltage ion bombardment source, controllable silicon supply
Bien que les approches basées sur les transformations source-to-source et model-to-source ont pour but de fournir une basse courbe d'apprentissage pour la programmation parallèle et tirer parti des fonctionnalités de l'architecture pour créer des applications optimisées, la programmation demeure difficile pour les néophytes.
Although approaches based on source-to-source intends to provide a low learning curve for parallel programming and take advantage of architecture features to create optimized applications, programming remains difficult for neophytes.
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.
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.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor transformations source-source in het Frans
