Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Examples with "typeux" and their translation in Engels
Leurs poulains sont modernes et typeux.
Their foals are modern and typey.
Andere resultaten
TypeUn système complet de surveillance d'état est disponible.
TypeA comprehensive health monitoring system is available.
TypeUne protection optimale des boîtiers électriques offre le plus haut niveau d'intégrité et de résistance aux flammes
Mainframe - MF2Type maximum protection of electrical boxes providing the highest level of flameproof integrity
Des équipes de recherche internationales de haut niveauUne partenariat avec la recherche académique L'état d'esprit Saint-Gobain Research ParisUn lien fort entre nos collaborateursUne structure souple, sans journée typeUne entreprise citoyenne
First-class international research teamsA company where science reignsResearcher initiative encouragedA culture of partnering with academic research The Saint-Gobain Research Paris mind-setA strong bond between our employeesA flexible structure, with no place for daily routineA corporate citizen
Le seul rapport avec le typeur, c'est que c'est le typeur qui détecte les erreurs a ce niveau.
The only connection with types is that the type checker is used to detect problems in "let rec".
Bien qu'il soit possible de dériver directement une implémentation de ces systèmes, ce qui est principalement utile pour leur compréhension et leur prototypage, les performances des typeurs obtenus de la sorte ne sont pas suffisantes pour analyser des programmes de taille réelle.
Despite the fact that it is possible to directly derive an implementation of our type systems from their rules, that is principally interesting for their comprehension and prototyping, the effectiveness of such typer is insufficient to analyze real world programs.
Son but est de constituer un composant prêt à l'emploi pour la création d'un typeur à base de contraintes, quel que soit le langage de programmation analysé.
Its goal is to serve as a plug-in component in the design of a constraint-based type-checker, regardless of the programming language being analyzed.
Un typeur ou un aligneur de données se trouvant à l'intérieur de chaque unité de traitement de signal située dans l'ASSP supporte un typage souple de données, une permutation souple, et un appariement souple de types d'opérandes de l'architecture de jeu d'instructions.
A data typer and aligner within each signal processing unit within the ASSP supports flexible data typing, permutation, and type matching of operands of the instruction set architecture.
Gerald Maftievici, notre ami d'Arabella, est un typeur et un contact pour toutes les questions techniques sur l'Arabella. Vous pouvez le contacter si vous avez des questions par courrier électronique. International
Our Arabella-friend Gerald Maftievici is a typereferent and contact for all technical questions about the Arabella, you can contact him if you have any questions via email. International
Mezzo n'existe pas seulement sur le papier : une dernière partie décrit la manière dont le lan- gage est implémenté, en formalisant les algorithmes utilisés dans le typeur et en détaillant les techniques utilisées pour déterminer la validité d'un programme.
Mezzo is not just a type system that lives on paper: the final part describes the implementation of a type-checker for Mezzo, by formalizing the algorithms that I designed and the various ways the type-checker ensures that a program is valid.
Les alias de modules (donner un autre nom à un module existant, comme dans module M = AnotherModule) sont maintenant enregistrés et traités spécialement par le typeur et par le compilateur.
Module aliases (giving an alternative name to an existing module or compilation unit, as in module M = AnotherModule) are now tracked specially by the type system and the compiler.
Bien qu'il soit possible de dériver directement une implémentation de ces systèmes, ce qui est principalement utile pour leur compréhension et leur prototypage, les performances des typeurs obtenus de la sorte ne sont pas suffisantes pour analyser des programmes de taille réelle.
Despite the fact that it is possible to directly derive an implementation of our type systems from their rules, that is principally interesting for their comprehension and prototyping, the effectiveness of such typer is insufficient to analyze real world programs.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor typeux in het Frans
Resultaten: 12. Exact: 1. Verstreken tijd: 27 ms.
