Multilingue
Assistant
trié par :

Pertinence

Domaine

Source

Nouveau : Traduire du texte avec ChatDico – 172 langues

Publications scientifiques

▷
A proof system for a simple data-parallel programming language
... We give it a denotational semantics, and describe an assertional

proof system

in the style of Hoare's logic....
... Nous d'efinissons une s'emantique d'enotationnelle, et nous d'ecrivons un syst'eme de preuve de programmes par assertions selon la m'ethode axiomatique de Hoare...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
A language-independent proof system for mutual program equivalence
... In this paper we introduce a language-independent proof system for mutual equivalence, which is parametric in the operational semantics of two languages and in a state-similarity relation....
... Dans cet article nous introduisons un système déductif pour l'équivalence mutuelle, qui a comme paramètres les sémantiques opérationnelles de deux langages ainsi qu'une relation de similitude entre états des programmes...
commercialisation / activité agricole - core.ac.uk -
▷
Logiques de séparation : complexité, expressivité, calculs
... In particular, we introduce the first sound and complete internal proof system for quantified-free separation logic and, by relying on the same technique, we design an axiomatisation for a modal logic enriched with the composition operator from...
... En particulier, nous définissons le premier calcul interne correct et complet pour la logique de séparation sans quantification...
Europe - core.ac.uk -
▷
An example of heterogeneous structured specification: a travel agency ⋆
... Our proof system involves both the inference relations associated to the formalisms and property inheritance relations associated to the structuring primitives, among which a new ...
Europe - core.ac.uk - PDF: www.i3s.unice.fr
▷
A survey of noninteractive zero knowledge proof system and its applicationsZero knowledge proof system which has received extensive attention since it was proposed is an important branch of cryptography and computational complexity theory....
général - core.ac.uk - PDF: doaj.org
▷
Review article a survey of noninteractive zero knowledge proof system and its applications... Zero knowledge proof system which has received extensive attention since it was proposed is an important branch of cryptography and computational complexity theory....
général - core.ac.uk - PDF: europepmc.org
▷
A compositional proof system for the modal µ-calculusWe present a proof system for determining satisfaction between processes in a fairly general process algebra and assertions of the modal -calculus....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
A compositional proof system for the modal µ-calculusWe present a proof system for determining satisfaction between processes in a fairly general process algebra and assertions of the modal µ-calculus....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
A propositional proof system for log space... In this paper, we givea method of restricting the proof system G * to get a proof system GL*, whichcorresponds to log space....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Synonymes et termes associés anglais

proof

•

Proof

•

proof

Exemples anglais - français

system

système
santé / transport terrestre / électronique et électrotechnique / communication / gestion administrative / environnement - acta.es
réseau
industrie mécanique - lexique.mecaniqueindustrielle.com
dispositif
général - iate.europa.eu
[...]
réglage exclusivement hydraulique
génération de système
systèmes
réglage exclusivement électrique
circuit
structure
prélèvement

proof

épreuve
communication - acta.es
preuve
sciences / industrie mécanique - techdico
témoins
communication - iate.europa.eu
[...]
essai
démonstration
étanche
épreuve négative
belle épreuve

Traductions en contexte anglais - français

An explosion-

proof system

for generating acoustic energy.

L'invention porte sur un système antidéflagrant pour générer de l'énergie acoustique.

sciences naturelles et appliquées - wipo.int
The false-proof system includes the false-proof certificate and various units used in the method.

Le système antifalsification selon l'invention comprend le certificat décrit et diverses unités utilisées dans le cadre du procédé.

informatique et traitement des données - wipo.int
The present invention relates to an earthquake-proof damper and to an earthquake-proof system using same.

La présente invention concerne un amortisseur antisismique et un système antisismique associé.

bâtiment et travaux publics - wipo.int
Tamper-proof system may be achieved by calibrating the temperature data only later.

Un système inviolable peut être obtenu par l'étalonnage des données de température ultérieurement seulement.

industrie mécanique - wipo.int
Provided is a zero-knowledge proof system that allows zero-knowledge proof of discrete logarithms even in devices with small main memory device capacity.

L'invention concerne un système de preuve à connaissance nulle qui permet une preuve à connaissance nulle de logarithmes discrets même dans des dispositifs ayant une faible capacité de dispositif de mémoire centrale.

électronique et électrotechnique - wipo.int
Sooner or later, in any fool proof system, the fools are going to exceed the proof.

Ma conclusion est que tôt ou tard, dans tout système infaillible, les imbéciles vont prendre le pas sur les preuves !

général - CCMatrix (Wikipedia + CommonCrawl)
Sooner or later, in any fool proof system, the fools are going to exceed the proof.

Ma conclusion est que tôt ou tard, dans tout système infaillible, les imbéciles vont prendre le pas sur les preuves !

général - CCMatrix (Wikipedia + CommonCrawl)
Sooner or later, in any fool proof system, the fools are going to exceed the proof.

Tôt ou tard, dans tout système à l'épreuve des fous, les fous vont dépasser les preuves.

général - CCMatrix (Wikipedia + CommonCrawl)
Sooner or later, in any fool proof system, the fools are going to exceed the proof.

Tôt ou tard, dans tout système à l’épreuve des fous, les fous vont dépasser les preuves.

général - CCMatrix (Wikipedia + CommonCrawl)
Sooner or later, in any fool proof system, the fools are going to exceed the proof.

Tôt ou tard, dans tout système à l’épreuve des fous, les fous vont dépasser les limites.

général - CCMatrix (Wikipedia + CommonCrawl)
Internet Marketing is also NOT a fail-proof system.

Le marketing internet n’est pas non plus un système sans faille.

général - CCMatrix (Wikipedia + CommonCrawl)
We have experience in designing explosion proof system (XP).

Nous avons aussi l’expérience de conception de système à l’épreuve des explosions (XP).

général - CCMatrix (Wikipedia + CommonCrawl)
Internet Marketing is also NOT a fail-proof system.

Le Marketing Internet n’est pas non plus un système sans faille.

général - CCMatrix (Wikipedia + CommonCrawl)
Internet Marketing is also NOT a fail-proof system.

Le marketing Internet n'est pas non plus un système sans faille.

général - CCMatrix (Wikipedia + CommonCrawl)
We have experience in designing explosion proof system (XP).

Nous avons de l’expérience en conception de systèmes à l’épreuve des explosions (XP).

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  翻訳  번역  翻译  Перевод