Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
program transformations
Vertaling van "program transformations" in Frans
transformations de programmes
Limitations of each method are established and allow suitable features for these program transformations to be determined.
Les limitations de chaque méthode sont établies et permettent de déterminer les atouts nécessaires pour ces transformations de programmes.
It is useful in many contexts, such as capturing the correctness of, program transformations within the same language, or capturing the correctness of compilers between two different languages.
Elle est utile dans divers contextes, parmi lesquels on peut citer la preuve de transformations de programmes dans un langage donné, et la preuve de compilateurs entre deux langages.
Abstract: In order to take the performance advantages of the current multicore and heterogeneous architectures the compilers are required to perform more and more complex program transformations.
Résumé : Une pression accrue s'exerce sur les compilateurs pour mettre en œuvre des transformations de programmes de plus en plus complexes délivrant le potentiel de performance des processeurs multicœurs et des accélérateurs hétérogènes.
These program transformations will possible generate small amounts of new code.
Ces transformations des programmes peuvent générer de petites quantités de code nouveau.
In this thesis we present a novel search-based approach to program transformations in the polyhedral model.
Cette thèse contribue une approche nouvelle de la recherche itérative de transformations de programmes dans le modèle polyédrique.
We express the compilation process as a succession of program transformations in the common framework.
Nous d\'ecrivons le processus de compilation comme une suite de transformations de programmes dans le cadre fonctionnel.
I mainly present multiprocessor static scheduling heuristics with fault-tolerance and reliability goals, but also the use of formal methods such as discrete controller synthesis and automatic program transformations.
Je présente principalement des heuristiques d'ordonnancement statique multiprocesseur avec pour but la tolérance aux fautes et la fiabilité des systèmes, mais également l'utilisation de méthodes formelles telles que la synthèse de contrôleurs discrets ou les transformations automatiques de programmes.
The Compost system bridges interaction mismatches among software components, by invasively modifying them using automated program transformations.
Le système Compost jette un pont sur les problèmes d'interactions entre les composants logiciels en les modifiant de manière invasive à l'aide de transformations automatisées des programmes.
Our results open the way for semantic program transformations; program transformations which does not preserve the computation but still lead to an equivalent program.
Nos résultats ouvrent la voie à des transformations de programme sémantiques ; qui ne préservent pas le calcul, mais produisent un programme équivalent.
Synoniemen voor program transformations in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 9. Exact: 9. Verstreken tijd: 47 ms.
