Multilingue
à â æ ç è é ê ë î ï ô ù û œ
Assistant
trié par :

Pertinence

Domaine

Source

Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

compilateur

compiler

informatique et traitement des données / sciences naturelles et appliquées / droit - acta.es iate.europa.eu techdico
compilateur, vous obtiendrez un compilateur quatre passes.

If you have 4 developers writing a compiler you will get a 4 pass compiler

général - CCMatrix (Wikipedia + CommonCrawl)
compilateur, vous obtiendrez un compilateur quatre passes.

If you have four developers writing a compiler you will get a four pass compiler

général - CCMatrix (Wikipedia + CommonCrawl)
compilateur, vous obtiendrez un compilateur quatre passes.

If you have four developers writing a compiler you will get a four pass compiler

général - CCMatrix (Wikipedia + CommonCrawl)
Ce compilateur comprend un port à fonctions destiné aux appels de compilateur durant l'exécution du traitement père.

The run time compiler includes a function port for invoking the compiler during execution of the parent process.

informatique et traitement des données - wipo.int
Un compilateur s'exécute sur un serveur.

The compiler runs on a server.

informatique et traitement des données - wipo.int
▷
Fortran-s: a fortran interface for shared virtual memory. . .
... Nous pr'esentons dans ce papier, un environnement de programmation pour des architectures parall'eles 'a m'emoire distribu'ee constitu'e autour d'un compilateur Fortran et d'un ensemble d'annotations....
...: In this paper we present a new programming environment for distributed memory parallel computers consisting in a Fortran 77 compiler enhanced with directives to specify parallelism....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
Automatic generation of adaptive codes
... Cette interface prend la forme d'extensions aux langages de programmation pour indiquer au compilateur quelles parties du programme peuvent utiliser ce type de calcul....
... This interface is provided as a language extension to advise the compiler about the parts of the program that may be optimized with approximate computing and what can be done about them....
général - core.ac.uk -
▷
Translation validation for transformations on abstract clocks in synchronous languages
... Dans ce travail, nous adoptons cette approche de vérifier formellement que la sémantique d'horloge sont conservés pendant les transformations d'un compilateur de flux de données synchrone....
... In this work, we adopt this approach to formally verify that the clock semantics is preserved during the transformations of a synchronous data-flow compiler....
général - core.ac.uk - PDF: core.ac.uk
▷
Performance analyses and code transformations for matlab applications
... À partir des données obtenues, nous formalisons un modèle statique qui prédit le type et l'ordonnancement des instructions programmées lors de l'exécution par le compilateur Just-In-Time (JIT)....
... From the resulting data, we formalise a static model which predicts the type and order of instructions scheduled by the Just-In-Time (JIT)compiler....
général - core.ac.uk -
▷
Formal verification of a c value analysis based on abstract interpretation
... Ce travail a été intégré au compilateur formellement vérifié CompCert C....
... The work has been integrated into the CompCert verified C-compiler....
général - core.ac.uk - PDF: core.ac.uk
▷
Estimation de la consommation d'un algorithme c intégrant l'architecture cible : une aide efficace pour la conception système... Certains de ces paramètres peuvent être directement prédits à partir de l'algorithme C, sans compilation, avec des connaissances simples sur l'architecture cible et le compilateur....
▷
Tools for formal software engineering... 1 Formal Software Engineering and the Grand Challenge The goal of the Verifying Compiler Grand Challenge [14] is to build a verifying compiler that “uses mathematical and logical reasoning to check the programs that it compiles.”...
sciences naturelles et appliquées - core.ac.uk -informatique et traitement des données / technologie et réglementation technique - core.ac.uk - PDF: citeseerx.ist.psu.edu
Prmdl: a machine description language for clustered vliw architecturesA compiler-simulator framework must be retargetable to enable platform-based processor design as well as proper processor architecture design space exploration....
 PDF: citeseerx.ist.psu.edu
A new look at retargetable compilers... This dissertation delves into the feasibility of simplifying the development of such systems by employing heterogeneous systems on a chip in conjunction with a retargetable compiler such as the hybrid computer retargetable compiler (Hy-C)....
 PDF: digital.library.unt.edu
Ompc: an open-source matlab®-to-python compiler... To facilitate the transition to an open computation platform, we propose Open-source MATLAB®-to-Python Compiler (OMPC), a platform that uses syntax adaptation and emulation to allow transparent import of existing MATLAB® functions into Python programs....
 PDF: www.pubmedcentral.nih.gov
compilateur

compiling program

informatique et traitement des données - iate.europa.eu
▷
Le modele room formalisation de sa sémantique statique et son application au developpement d'un logiciel de poursuite de satellites...contextuels.Le mémoire présente également une étude préliminaire des outils d'aide à l'implantation d'un compilateur pour le langage et fournit des recommandations quant à ceux-ci
▷
Predictability of just in time compilation... While the traditional compilation flow consists of compiling program source code into binary objects that can natively executed on a given processor, processor virtualization splits that flow in two parts: the first part consists...
construction européenne / informatique et traitement des données / information et traitement de l'information - core.ac.uk -général - core.ac.uk - PDF: core.ac.uk
Comp516 practical 5 (non-assessed)... Output, in the form of DVI, PostScript or PDF files, is produced by processing those text files akin to compiling program files to produce executable code....
 PDF: citeseerx.ist.psu.edu
Applying and practicing of matlab programing for voronoi... Three-dimensional (3D) Voronoi tessellation diagrams are generated by compiling program in MATLAB software....
 PDF: www.scientific.net
compilateur

compiler program

informatique et traitement des données - iate.europa.eu
Cette invention concerne un programme compilateur, un support de stockage lisible par ordinateur renfermant ce programme compilateur, un procédé de compilation ainsi qu'une unité de compilation.

The present invention relates a compiler program, a computer-readable storage medium storing such a compiler program, a compiling method and a compiling unit, and an object thereof is to automatically generate a reentrant object program.

informatique et traitement des données - wipo.int
▷
Hybrid-jit : compilateur jit matériel/logiciel pour les processeurs vliw embarqués... Dans ce travail, nous présentons un compilateur JIT hybride dans lequel la gestion du JIT est réalisée de manière logicielle tandis qu'un accélérateur matériel est utilisé pour les phases plus coûteuses telles que...
▷
The writings and pictures walks with a source solar cell based atmega 16... Equipment design soft as a program controller of microcontroller ATmega16 with uses language C and software CodeVisionAVR as compiler program....
général - core.ac.uk - PDF: core.ac.ukinformatique et traitement des données - core.ac.uk - PDF: core.ac.uk
Comment faire confiance à un compilateur ?... Si l'on accepte le parallèle entre traduction et compilation de programme, celle-ci consistant à traduire un langage évolué en langage machine, mieux vaut faire mentir l'adage ! Portrait du premier compilateur en voie d'être garanti " zéro faute "

Publications scientifiques

▷
▷
Safe structural conformance for java... Structural conformance requires no additional syntax and only small modifications to the Java compiler and optionally, for performance reasons, the virtual machine, resulting in a minor performance penalty....
technologie et réglementation technique / informatique et traitement des données / information et traitement de l'information - core.ac.uk - PDF: www.researchgate.net
▷
▷
Compiler implementation verification and trojan horses (publication)... implementation of the compiling relation as a compiler program written in a high level system programming language, 3....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
▷
General purpose computer programs for numerically analyzing linear ac electrical and electronic circuits for steady-state conditions... The compiler program solves these circuit parameters and in addition provides a more versatile program by allowing the user to perform mathematical and logical operations
général - core.ac.uk - PDF: hdl.handle.net

Synonymes et termes associés français

programme de compilation

•

programme compilateur

•

compilateur de règles

Exemples français - anglais

compilateur de compilateur

metacompiler
informatique et traitement des données - iate.europa.eu

metacompilateur

metacompiler
informatique et traitement des données - iate.europa.eu

compilateur préliminaire

precompiler
informatique et traitement des données - iate.europa.eu
[...]

précompilateur

precompiler

compilateur incrémentiel

incremental compiler

compilateur conversationnel

conversational compiler

compilateur intelligent

smart computer

compilateur-racine

root compiler

compilateur originel

native compiler

compilateur croisé

cross compiler

compilateur JIT

Just-In-Time compiler
JIT compiler

compilateur incremental

incremental compiler

compilateur natif

native compiler

compilateur FORTRAN

FORTRAN-compiler

compilateur Fortran

FORTRAN compiler system

compilateur COBOL

Cobol-compiler

compilateur d'Algol

Algol-compiler

compilateur LP2

compiler LP2

compilateur graphique

graphic compiler

compilateur de parallélisation

parallelizing compiler

compilateur parallélisant

parallelizing compiler

compilateur de base

root compiler

compilateur racine

root compiler

compilateur de silicium

silicon compiler

compilateur de règles

compiler

programmateur de compilateur

compiler jock

compilateur/interpréteur Pascal

Pascal compiler

compilateur de compilateurs

compiler compiler
compiler-compiler

compilateur de connaissances

knowledge compiler

validation du compilateur

compiler validation

Traductions en contexte français - anglais

En outre, un compilateur Fortran et un compilateur C sont nécessaires.

Moreover, a Fortran and a C compiler are required.

général - CCMatrix (Wikipedia + CommonCrawl)
Le compilateur convertit également l'automate en code machine.

The compiler also converts the automaton into machine code.

informatique et traitement des données - wipo.int
obtenu le code source du compilateur Pastel, qui était un compilateur

source code for the Pastel compiler, which was a multi-platform compiler

général - CCMatrix (Wikipedia + CommonCrawl)
obtenu le code source du compilateur Pastel, qui était un compilateur pour

source code for the Pastel compiler, which was a multi-platform compiler

général - CCMatrix (Wikipedia + CommonCrawl)
Le compilateur GNU C est un compilateur d’optimisation assez portable qui fonctionne.

GNU CC The GNU C compiler is a fairly portable optimizing compiler.

général - CCMatrix (Wikipedia + CommonCrawl)
L'invention concerne la revalidation d'un compilateur de langage de commande s'utilisant dans un système de commande de processus, après chaque utilisation du compilateur.

The present invention concerns revalidation of a compiler of control language for use in an industrial control system, each time the compiler has been used.

informatique et traitement des données - wipo.int
L'invention concerne un obscurcissement basé sur un compilateur.

Compiler based obfuscation is described.

informatique et traitement des données - wipo.int
obtenu le code source du compilateur Pastel, qui était un compilateur pour

obtained the source code for the Pastel compiler, which was a

général - CCMatrix (Wikipedia + CommonCrawl)
Un compilateur du programme comporte une interface afin de détecter les étiquettes d'attributs et d'appeler un des programmes fournisseurs d'attributs, extérieurs au compilateur.

A compiler for the program includes an interface to detect the attribute tags and to call one of a number of attribute-provider programs external to the compiler.

informatique et traitement des données - wipo.int
Ce compilateur, le compilateur Pascal FPC, est lui-même écrit en Pascal.

This compiler, the FPC Pascal Compiler, is itself written in Pascal.

général - CCMatrix (Wikipedia + CommonCrawl)
Le compilateur GNU C est un compilateur d’optimisation assez portable qui fonctionne.

This is the GNU C compiler, a fairly portable optimizing compiler for C.

général - CCMatrix (Wikipedia + CommonCrawl)
Ainsi, un compilateur C ++ correct donnera 13, mais un compilateur C correct 8.

So, a correct C++ compiler will give 13, but a strictly correct C90 compiler 8.

général - CCMatrix (Wikipedia + CommonCrawl)
Un compilateur BASIC va produire du code qui s'exécute rapidement un compilateur C.

A BASIC compiler will produce code that runs fast as a C compiler.

général - CCMatrix (Wikipedia + CommonCrawl)
L'exemple donné est celui d'un compilateur : "Si vous mettez quatre équipes sur la conception d'un compilateur, vous obtiendrez un compilateur quatre passes.

The law was originally stated as, "If you have four teams working on a compiler, you get a four-pass compiler.

général - CCMatrix (Wikipedia + CommonCrawl)
JEP 317 - Compilateur JIT Java expérimental : permettre au compilateur JIT basé sur Java, Graal, d’être utilisé comme compilateur JIT expérimental sur Linux/x64 ;

(JEP 317) Experimental Java-Based JIT Compiler: Enables the Java-based JIT compiler, Graal, to be used as an experimental JIT compiler on the Linux/x64 platform.

général - CCMatrix (Wikipedia + CommonCrawl)


1 milliard de traductions classées par domaine d'activité en 28 langues
Nouveau : Traduire du texte avec ChatDico – 172 langues

Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Traduction  Translation  Traducción  Übersetzung  Tradução  Traduzione  Traducere  Vertaling  Tłumaczenie  Mετάφραση  Oversættelse  Översättning  Käännös  Aistriúchán  Traduzzjoni  Prevajanje  Vertimas  Tõlge  Preklad  Fordítás  Tulkojumi  Превод  Překlad  Prijevod  翻訳  번역  翻译  Перевод