Examples with "algorithmes de compilation" 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.
Ceci implique la mise en place de modèles sémantiques adéquats, d'algorithmes de compilation et des preuves de correction correspondantes.
This necessitates the design of suitable semantic models, compilation algorithms and corresponding correctness proofs.
Le travail de cette thèse met le modèle polyédrique en application dans des programmes réels, en étendant les champs applicables du modèle et en soutenant l'intégration avec d'autres algorithmes de compilation.
We believe the contributions collected in this dissertation extend the reach fof the polyhedral model to wider ranges of real-world programs.
Logiciel d'autorité de certification Un des algorithmes de compilation de messages élaboré par RSA Data Security Inc.
One of the message digest algorithms developed by RSA Data Security Inc.
NacaRTTest (licence GPL): une suite de tests nous permettant de valider le fonctionnement correct de nos algorithmes de compilation.
NacaRTTest (license GPL): this is a test suite allowing us to test the correct output of the transcoder on a set of reference COBOL constructs.
BioMercator v3 inclus de nouveaux algorithmes de compilation de cartes génétiques et de meta-analyses provenant du paquet MetaQTL.
Compared to the previous versions, BioMercator V3 will include several new map compilation and meta-analysis algorithms from the MetaQTL package.
Andere resultaten
La présente invention concerne des algorithmes de compilateur qui partitionnent un programme de système d'ombrage informatique en des régions de taille maximale, appelées des boucles de fil.
Described are compiler algorithms that partition a compute shader program into maximal-size regions, called thread-loops.
Nous proposons un modèle d'exécution basé sur le tuilage de boucles, une architecture pipeline et un algorithme de compilation source-à-source qui, connecté à l'outil de HLS C2H d'Altera, produit une configuration de circuit FPGA qui réalise un volume minimal de transferts de données.
We propose an execution model based on loop tiling, a pipelined architecture and a source-level compilation algorithm which, connected to the C2H HLS tool from Altera, ends up to a FPGA configuration with minimized data transfers.
Ceci n'a d'intérêt que pour déterminer si les algorithmes de hachage (compilés) en Perl ont des performances médiocres sur vos données.
This is pretty much useful only to find out whether Perl's internal hashing algorithm is performing poorly on your data set.
À cette fin, un consortium réunissant onze groupes à la pointe de la recherche algorithmique s'est constitué en vue de pallier les lacunes des algorithmes actuels et de compiler de nouveaux algorithmes plus efficaces pour répondre aux besoins des technologies émergentes.
To this end a consortium of eleven leading algorithmic research groups got together in order to tackle the shortcomings of current algorithms and to compile more efficient, new algorithms to better tackle emerging technologies.
une approche pour fournir une compression d'une table de base de données qui utilise un algorithme de table compilée (CTA) proposant une amélioration
an approach for providing compression of a database table that uses a compiled table algorithm (CTA) that provides leverage
La plateforme s'appuie sur un algorithme qui compile plus de 500 terminaux de données pour déterminer le profil de risque d'une PME avant de débourser les fonds.
The platform uses an algorithm that compiles over 500 data points to determine an SME's risk profile before disbursing the funds.
Les algorithmes intégrés vous permettent de compiler une grande variété de contenu en un seul ensemble normalisé.
Built-in algorithms allow you to compile a wide variety of content into a single standardized whole.
Nous recourons à l'aide de l'algorithme d'actions compilé.
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.
