Multilingue
Assistant
trié par :

Pertinence

Domaine

Source

Nouveau : Traduire du texte avec ChatDico – 172 langues

Publications scientifiques

▷
Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vérification formelle fiacre
6 pagesInternational audienceWe discuss the results obtained during the development of a formal verification

toolchain

for AADL based on a model driven engineering approach....
général - core.ac.uk - PDF: core.ac.uk
▷
The compcert memory model, version 2
... The second improvement is the integration of a fine-grained mechanism of permissions (access rights), which supports more aggressive optimizations over read-only data, and paves the way towards shared-memory, data-race-free concurrency in the style of Appel's Verified Software Toolchain project....
... Seconde amélioration: il intègre un mécanisme de permissions (droits d'accès) à grain fin, qui autorise le compilateur à effectuer des optimisations plus agressives sur les données en lecture seule, et constitue un pre
politique tarifaire - core.ac.uk - PDF: core.ac.uk
▷
Modèles et protocoles de cohérence de données, décision et optimisation à la compilation pour des architectures massivement parallèles.
... In order to deal with consistency issues for this kind of architectures, we propose in this work a multi-protocol compilation toolchain, in which shared data of the application can be managed by different protocols....
Europe / politique tarifaire - core.ac.uk - PDF: core.ac.uk
▷
Rapid prototyping toolchain for humanoid robotics applicationsAbstract—This paper introduces a rapid development toolchain for the design and dynamic simulation of robotic and/or mechatronic applications....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
Exploring the construction of a domain-aware toolchain for high-performance computing... While many efforts are focusing on the design and development of domain-specific languages (DSLs), few have addressed the need for providing a fully domain-aware toolchain....
général - core.ac.uk - PDF: www.c3.lanl.gov
▷
Raptex: a resource-focused toolchain for rapid prototyping of embedded communication systemsThis paper introduces the RaPTEX toolchain and its use for rapid prototyping and evaluation of embedded communica-tion systems....
général - core.ac.uk - PDF: www.cesr.ncsu.edu
▷
An fmi-based toolchain for the adoption of model-based fddThis work presents a toolchain based on the Functional Mockup Interface (FMI) standard for accelarating the adoption of model-based Fault Detection and Diagnostics (FDD) algorithms....
général - core.ac.uk - PDF: simulationresearch.lbl.gov
▷
A toolchain for the detection of structural and behavioral latent system properties ⋆... This paper describes an experience report using a toolchain that supports structural and behavioral analysis of UML state diagrams that is not currently available in commercial UML modeling tools....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Traductions en contexte anglais - français

The existing Go

toolchain

will then be used to build a base version of Go 1.5 toolchain.

La toolchain Go existante sera alors utilisée pour construire une version de base de la toolchain Go 1.5.

général - CCMatrix (Wikipedia + CommonCrawl)
Toolchain connectivity is essential to many MapleSim customers, and MapleSim 2019 offers important advances in toolchain integration.

La connectivité de la chaîne d'outils est indispensable pour de nombreux clients de MapleSim et MapleSim 2019 offre d'importantes avancées en matière d'intégration de la chaîne d'outils.

général - CCMatrix (Wikipedia + CommonCrawl)
Download and Install for installing the toolchain.

Download and Install pour installer la chaîne d'outils .

général - CCMatrix (Wikipedia + CommonCrawl)
hardened Includes PIE/SSP toolchain for enhanced security.

hardened Inclut le <<toolchain>> PIE/SSP pour une sécurité accrue.

général - CCMatrix (Wikipedia + CommonCrawl)
Tools overlap and the danger is “toolchain sprawl”.

Les outils se superposent et le danger est « l’étalement de la chaîne d’outils ».

général - CCMatrix (Wikipedia + CommonCrawl)
Learn about Veracode's Integrations with your SDLC toolchain.

Découvrez les intégrations de VeraCode avec votre toolchain SDLC.

général - CCMatrix (Wikipedia + CommonCrawl)
Includes improvements to specialized modeling libraries and toolchain connectivity

Optimisation des bibliothèques spécialisées et de la connectivité de la chaîne d’outils...

général - CCMatrix (Wikipedia + CommonCrawl)
As you can see, the stable toolchain is the default.

Comme vous pouvez le voir, la fonction principale de l'outil est la découpe.

général - CCMatrix (Wikipedia + CommonCrawl)
Go has a toolchain which produces statically linked binaries.

Go a une chaîne d’outils qui produit des binaires liés statiquement.

général - CCMatrix (Wikipedia + CommonCrawl)
Maybe the toolchain no longer runs on modern architectures?

Mais peut-être n’y a t-il plus de kick sur les motos modernes ?

général - CCMatrix (Wikipedia + CommonCrawl)
The competition in the DevOps toolchain is fierce and flourishing.

La concurrence dans la chaîne de montage DevOps est féroce et florissante.

général - CCMatrix (Wikipedia + CommonCrawl)
Then, a second pass of the toolchain will be built.

Ensuite, une seconde passe de la chaîne d'outils sera lancée.

général - CCMatrix (Wikipedia + CommonCrawl)
Built on hardened linux, including a hardened kernel and toolchain

Construit sur Linux durci, y compris un noyau duré et une chaîne d’outils

général - CCMatrix (Wikipedia + CommonCrawl)
The recommended toolchain from webassembly.org for compiling to WebAssembly is Emscripten.

La chaîne d'outils recommandée de webassembly.org pour la compilation en WebAssembly est Emscripten.

général - CCMatrix (Wikipedia + CommonCrawl)
Google has not yet moved entirely to the LLVM toolchain.

Il est également important de préciser que Google n'a pas encore complètement migré vers la chaîne d'outils LLVM.

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 anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes français :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  翻訳  번역  翻译  Перевод