Dictionnaire français - anglais

vérification

industrie mécanique / agriculture, sylviculture et pêche / gestion administrative - lexique.mecaniqueindustrielle.com iate.europa.eu acta.es
Vérification, insécurité et vérification constante des situations domestiques

Checking – uncertainty and constant checking with regard to domestic situations

général - CCMatrix (Wikipedia + CommonCrawl)
Lorsque la vérification est achevée, la date de la prochaine vérification est inscrite dans le calendrier de vérification.

When the checking is finished, the next checking time in the checking timetable is written.

production - wipo.int
Une variété de tests de vérification – y compris la vérification informatique

A variety of checking tests - including computer checking

général - CCMatrix (Wikipedia + CommonCrawl)
Le moyen de vérification effectue la vérification du délimiteur de salve après la vérification réussie des données de motif de synchronisation.

The abovementioned checking means performs checking of the abovementioned burst delimiter after the checking of the abovementioned sync pattern data has been successful.

électronique et électrotechnique - wipo.int
Vérification de l'étudiant: Pour les étudiants 17 ans et plus, l'étudiant compte Vérification convertit automatiquement à Free Vérification après cinq ans

Student Checking: For college students 17 and older, the Student Checking account automatically converts to Free Checking after five years

général - CCMatrix (Wikipedia + CommonCrawl)
Génération de séquences de test pour l'accélération d'assertions
Avec la complexité croissante des systèmes sur puce, le processus de vérification devient une tâche de plus en plus cruciale à tous les niveaux du cycle de conception, et monopolise une part importante du temps de développement...
... Des techniques de vérification statiques (model checking) ou dynamiques (validation en cours de simulation) peuvent être mises en œuvre...
Europe / politique tarifaire / recherche et propriété intellectuelle - core.ac.uk - PDF: www.theses.fr
Real-time systems refinement : application to the verification of web services
... Afin d'augmenter la qualité et d'élever la sécurité des services Web, la vérification de BPEL, un service web langage de composition est considérée...
... Dans ce contexte, le model checking est une des techniques de vérification les plus utilisés en raison de son exhaustivité, son application facile et automatique...
général - core.ac.uk - PDF: core.ac.uk
Property driven verification framework: application to real time property for uml marte software design
...
...Les techniques formelles de la famille « vérification de modèles » (« model checking ») se heurtent au problème de l’explosion combinatoire...
général - core.ac.uk - PDF: core.ac.uk
I types, expressions et fonctions 2...5 Exercice: vérification des types des noms d’une expression...
Dynamic event generation for runtime checking using the jdiApproaches to runtime checking have to track the execution of a software system and therefore have to deal with generating and processing execution events...
activité agricole / recherche et propriété intellectuelle - core.ac.uk - PDF: citeseerx.ist.psu.edugestion administrative - core.ac.uk - PDF: citeseerx.ist.psu.edu
Minorité du clergé : arrêté sur l'adhésion à la déclaration du roi et sur l'envoi d'une députation aux autres ordres pour la vérification des pouvoirs, lors de la séance du 25 juin 1789Minorité du clergé : arrêté sur l'adhésion à la déclaration du Roi et sur l'envoi d'une députation aux autres ordres pour la vérification des pouvoirs, lors de la séance du 25 juin 1789...
Vérification
général - eur-lex.europa.eu
On distingue deux méthodes de vérification : la vérification formelle et la vérification fonctionnelle.

There are two very general categories of verification: formal verification and functional verification.

général - CCMatrix (Wikipedia + CommonCrawl)
sans vérification de crédit, sans vérification d'emplois.

There is no credit check and no employment verification.

général - CCMatrix (Wikipedia + CommonCrawl)
Citation nécessaire, Vérification, Vérification de citations nécessaire,

Citation verification overdue, Citation verification needed, Fallout setting,

général - CCMatrix (Wikipedia + CommonCrawl)
Vérification des données de vérification comprend le / horodatage de date, une vérification a été effectuée et les résultats de la vérification.

Verification Audit Data" includes the date/time stamp a verification has been performed and the results of the verification.

général - CCMatrix (Wikipedia + CommonCrawl)
Vérification d’identité par des prestataires de vérification électronique

Identity verification using Electronic Verification Providers

général - CCMatrix (Wikipedia + CommonCrawl)
Off-line signature verification systems: a surveySignatures are extensively used as a means of personal verification...
informatique et traitement des données / communication / information et traitement de l'information - core.ac.uk - PDF: hdl.handle.net
Values of time-series data defined in 19794-7 for signature verification... It is valuable that this data format enables different types of input devices to be used in signature/sign verification...
vérification
général / industrie mécanique / transport terrestre / informatique et traitement des données / finances de l'union européenne / union européenne - eur-lex.europa.eu techdico iate.europa.eu acta.es
Vérification Utilisez toujours l’option de vérification.

The full assessment always follows the eligibility check.

général - CCMatrix (Wikipedia + CommonCrawl)
VÉRIFICATION INITIALE AVANT DÉMARRAGE - Cette vérification est effectuée avant la vérification avant démarrage.

INITIAL PRE-START - This check is completed prior to the Pre-Start check.

général - CCMatrix (Wikipedia + CommonCrawl)
vérification ponctuelle + vérification du format + vérification de la conformité aux exigences spécifiques du client

+ format check + check of compliance with customer-specific requirements

général - CCMatrix (Wikipedia + CommonCrawl)
(8.1.5) validation et vérification de l’adresse ; vérification de crédit

(8.1.5) Validation and Verification of Addresses; Credit Check

général - CCMatrix (Wikipedia + CommonCrawl)
vérification par chiffre clé : vérification par chiffre de contrôle

check digit verification

informatique et traitement des données - iate.europa.eu
Data processing for brake test stands... This paper discusses the data processing flow for anauto brake check stand...
informatique et traitement des données / communication / institutions de l'union européenne et fonction publique européenne - core.ac.uk - PDF: doaj.org
30 bit hamming code for error detection and correction with even parity and odd parity check method by using vhdl... In hamming code with even and odd parity check method by using VHDL, we transmit 25 bit information data with 5 redundancy bits from source and receive this data a
vérification
construction européenne / finances - iate.europa.eu
Remove Vérification et évaluation filter Vérification et évaluation

Remove Audit and Evaluation filter Audit and Evaluation

général - CCMatrix (Wikipedia + CommonCrawl)
Le comité de vérification fait une vérification financière annuelle conformément à la Charte du comité de vérification.

The Audit Committee performs an annual review of the Audit Committee charter.

général - CCMatrix (Wikipedia + CommonCrawl)
Vérification interne des subventions et des contributions : Rapport de vérification.

Internal Audit of Grants and Contributions: Audit Report.

général - CCMatrix (Wikipedia + CommonCrawl)
Rapport de vérification interne - Vérification du Groupe d'évaluation des projets

Internal Audit Report - Audit of the Project Review Panel

général - CCMatrix (Wikipedia + CommonCrawl)
des services de vérification et d’assurance; Comité de vérification d’AANC ;

Audit and Assurance Services; INAC Audit Committee;

général - CCMatrix (Wikipedia + CommonCrawl)
Mailto:[email protected] the regulator and the judge: the optimal mix in the control of environmental risk *
... Nous étudions l'interaction entre l'audit ex ante de l'effort de précaution par un régulateur et la vérification ex post de la capacité financière par un juge en cas d'accident...
... We study the interaction between the ex ante audit of the firm's precautionary effort by a regulator and the ex post check on the true level of the firm's assets by a judge following an accident...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Property management systems requirements... This document is intended for financial analysts, systems accountants, systems developers, property managers, program managers, and others who design, develop, implement, operate, and maintain or audit financial management systems...
gestion administrative / recherche et propriété intellectuelle / institutions de l'union européenne et fonction publique européenne - core.ac.uk - PDF: digital.library.unt.edu
Organisational innovation audits: a typology of theories with some practical implications... Literature suggests that the innovation audit is a good starting point, as it provides organisations with a reviewing mechanism of how effectively they are able to deliver the level of innovation necessary to create new products, new services and new ways of undertaking activities (Drummond and Ensor, 2001)...
vérification
communication / agriculture, sylviculture et pêche / gestion comptable / droit international / santé / industrie mécanique / informatique et traitement des données / pouvoir exécutif et administration publique / électronique et électrotechnique / sciences naturelles et appliquées / recherche et propriété intellectuelle / général / production et structures agricoles / union européenne - acta.es iate.europa.eu lexique.mecaniqueindustrielle.com techdico
Vérification : Lorsqu’elle termine l’activité de vérification, la CCSN :

Verification: Upon completion of the verification activity, the CNSC will:

général - CCMatrix (Wikipedia + CommonCrawl)
Vérification, insécurité et vérification constante des situations domestiques

Verification,insecurity and constant verification of domestic situations

général - CCMatrix (Wikipedia + CommonCrawl)
Certificat de vérification CE et déclaration CE de vérification

EC certificate of verification and EC declaration of verification

technologie et réglementation technique - eur-lex.europa.eu
Vérification manuelle des vulnérabilités et vérification des vulnérabilités identifiées;

Manual Vulnerability Testing and Verification of Identified Vulnerabilities;

général - CCMatrix (Wikipedia + CommonCrawl)
Vérification manuelle des vulnérabilités et vérification des vulnérabilités identifiées;

Manual Vulnerability Testing and Verification of Identified Vulnerabilities.

général - CCMatrix (Wikipedia + CommonCrawl)
Off-line signature verification systems: a surveySignatures are extensively used as a means of personal verification...
informatique et traitement des données / communication / information et traitement de l'information - core.ac.uk - PDF: hdl.handle.net
Values of time-series data defined in 19794-7 for signature verification... It is valuable that this data format enables different types of input devices to be used in signature/sign verification...
vérification
analyse économique - iate.europa.eu
Statistical mechanics and its applications, [vol 395, (1 february 2014)] doi:10.1016/j.physa.2013.10.013 ferrimagnetism in the heisenberg-ising bilayer with magnetically non-equivalent planes... Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document...
analyse économique / politique commerciale / production et structures agricoles - core.ac.uk - PDF: arxiv.org
Speech-enabled computer-aided translation: a satisfaction survey with post-editor trainees... The aim of the survey was (i) to identify attitudes and perceptions among post-editor trainees before performing a post-editing task using automatic speech recognition (ASR); and (ii) to assess the degree to which post-editors ’ attitudes and expectations to the use of speech technology changed after actually using it...
vérification
agriculture, sylviculture et pêche / union européenne - iate.europa.eu
Comment la vérification positive améliore les contributions stratégiques de la vérification interne

How quality assurance reviews can strengthen the strategic value of internal auditing*

général - CCMatrix (Wikipedia + CommonCrawl)
Avant la délivrance du rapport de vérification, le vérificateur soumet le dossier de vérification interne et le rapport de vérification à un examinateur indépendant.

The verifier shall submit the internal verification documentation and the verification report to an independent reviewer prior to the issuance of the verification report.

général - eur-lex.europa.eu
Defining and characterizing open peer review: a review of the literature... To this end, new, open models of peer review are emerging...
général - core.ac.uk - PDF: pdxscholar.library.pdx.edu
What makes a review voted? an empirical investigation of review voting in online review systemsMany online review systems adopt a voluntary voting mechanism to identify helpful reviews to support consumer purchase decisions...
vérification
industrie mécanique - techdico
Outil de vérification: vérification de visu, Script Greasemonkey

Tools for testing: Visual inspection, Greasemonkey script

général - CCMatrix (Wikipedia + CommonCrawl)
Outil de vérification: vérification de visu, Firefox et Internet Explorer

Tools for testing: Visual inspection, Firefox and Internet Explorer

général - CCMatrix (Wikipedia + CommonCrawl)
Une vérification mécanique doit être effectuée dans un centre de vérification mécanique en vue d'obtenir un certificat de vérification mécanique conforme.

A mechanical inspection must be carried out at a mechanical inspection centre to obtain a valid mechanical inspection certificate.

général - CCMatrix (Wikipedia + CommonCrawl)
Outil de vérification: vérification de visu, Internet Explorer, Firefox avec extension "XHTML Ruby

Tools for testing: Visual inspection, Internet Explorer, Firefox with "XHTML Ruby" add-on

général - CCMatrix (Wikipedia + CommonCrawl)
Les différents articles de vérification pour diagnostic d'incident se répartissent entre articles de vérification pour capteur et articles de vérification à entrée de données.

Various inspection items for fault diagnosis are classified into sensor inspection items and input data inspection items.

industrie mécanique - wipo.int
Phase controlled emat antenna for the inspection of coated pipesPipe inspection in the production and inspection of pipeline systems during maintenance are tasks, which require improvement of NDE-techniques...
industrie mécanique / commercialisation - core.ac.uk - PDF: www.qnetworld.de
Improvements in ultrasonic inspection of resistance spot welds... However, as with any process, problems can occur and inspection is therefore necessary...
vérification
communication - techdico
Model driven testing of web applications using domain specific language... The techniques in quality assurance of these applications hence become essential, the role of testing for web application becomes more significant...
communication - core.ac.uk - PDF: doaj.org
Using evolutionary testing to improve efficiency and quality in software testing... In practice, the most important analytical quality assurance measure is dynamic testing...
VÉRIFICATION
général - eur-lex.europa.eu
Le système de vérification transmet un résultat de vérification.

The verification system transmits a verification result.

informatique et traitement des données - wipo.int
vérification CE fondée sur la vérification à l'unité; ou

EC verification based on unit verification, or

général - eur-lex.europa.eu
Vérification CE sur la base de la vérification du produit

EC verification based on product verification

commercialisation - eur-lex.europa.eu
Vérification CE sur la base de la vérification à lunité

EC verification based on unit verification

général - eur-lex.europa.eu
Vérification - à la fin de l'activité de vérification, la CCSN :

Verification: Upon completion of the verification activity, the CNSC will:

général - CCMatrix (Wikipedia + CommonCrawl)
Off-line signature verification systems: a surveySignatures are extensively used as a means of personal verification...
informatique et traitement des données / communication / information et traitement de l'information - core.ac.uk - PDF: hdl.handle.net
Values of time-series data defined in 19794-7 for signature verification... It is valuable that this data format enables different types of input devices to be used in signature/sign verification...
vérification
droit - iate.europa.eu
Ontology for biomedical investigationsThe goal of OBI is to enable a formal representation of biomedical investigations that captures the experimental evidence on which their findings are based...
général - core.ac.uk - PDF: precedings.nature.com
Perspectives investigationsof acute infectious disease outbreaks are very common, and the results of such investigations are often published; however, surprisingly little has been written about the actual procedures followed during such investigations (1,2)...
droit international - iate.europa.eu
informatique et traitement des données - acta.es
Automation of checkout for the shuttle operations eraThe Space Shuttle checkout is different from its Apollo predecessor...
informatique et traitement des données - core.ac.uk - PDF: hdl.handle.net
général - eur-lex.europa.eu
droit - iate.europa.eu
Modeling search engine effectiveness for federated searchFederated search links multiple search engines into a single, virtual search system...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Search asymmetries? what search asymmetries?In order to establish a search asymmetry, one must run an experiment with a symmetric design and get asymmetric results...

Publications scientifiques

Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié
... Les phases de spécification, de développement et de vérification des outils développés sont effectuées avec l'assistant de preuve Coq...
... The proved development reduces test cost and increases insurance of components developed with this approach regarding the qualification...
général - core.ac.uk - PDF: ethesis.inp-toulouse.fr
Processus de vérification et de validation des analyses mécaniques des roues de turbines hydrauliques avec code-aster
"RÉSUMÉ:" Ce mémoire de maîtrise, intitulé «VÉRIFICATION ET VALIDATION DES ANALYSES MÉCANIQUES DE ROUES DE TURBINES HYDRAULIQUES AVEC CODE-ASTER», présente le développement d’une méthodologie de validation du code Aster pour les analyses mécaniques des roues des turbines hydroélectriques...
...----------"ABSTRACT:" This master’s thesis, entitled « verification and validation of low-head hydropower runners structural analysis with Aster» presents a mechanical based design code validation methodology applied to low head hydropower runners...
général - core.ac.uk - PDF: publications.polymtl.ca
Médicaments en possession des patients : état des lieux, audits et changements de pratique
... La révision de la politique a permis de clarifier les situations d’exception qui autorisent le recours aux médicaments personnels et d’exiger qu’un pharmacien effectue une vérification contenant-contenu des médicaments personnels...
... However, containers of personal medications do not undergo container-contents verification by the pharmacy team...
santé - core.ac.uk - PDF: pharmactuel.com
Financial way to a climate agreement in 2015?
... Un accord climatique ambitieux repose sur trois piliers : un engagement des gouvernements, un système indépendant de monitoring, de reporting et de vérification (MRV) et l'instauration d'une tarification internationale du carbone...
... An ambitious climate agreement is based on: (1) a commitment by governments, (2) an independent monitoring, reporting and verification (MRV) system and (3) the introduction of international carbon pricing...
commercialisation / production et structures agricoles / activité agricole - core.ac.uk -
Vérification dynamique ciblée et interactive de programmes grâce à une architecture modulaire
... Une phase particulièrement importante est la vérification du programme...
... One crucial phase is program verification and debugging...
général - core.ac.uk -
Checked coverage: an indicator for oracle qualityA known problem of traditional coverage metrics is that they do not assess oracle quality—that is, whether the computation result is actually checked against expectations...
général - core.ac.uk - PDF: www.st.cs.uni-saarland.de
Double-checked locking..., adding multi-threading and parallelism to the common Singleton use-case) can impact the form and content of patterns used to develop concurrent software...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Generic system verilog universal verification methodology based reusable verification environment for efficient verification of image signal processing ips/socsIn this paper, we present Generic System Verilog Universal Verification Methodology based ReusableVerification Environment for efficient verification of Image Signal Processing IP’s/SoC’s...
général - core.ac.uk - PDF: doaj.org
Verification games: making verification funProgram verification is the only way to be certain that a given piece of software is free of (certain types of) errors — errors that could otherwise disrupt operations in the field...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Equivalence checking of dissimilar circuits ii cadence berkeley labs... We also describe an algorithm of equivalence checking for circuits with a known specification that is based on computation of correlation functions only (no filtering functions are computed)...
commercialisation / industrie mécanique / production et structures agricoles - core.ac.uk - PDF: citeseerx.ist.psu.edu

Synonymes et termes associés français

[...]

guet

test

Traductions en contexte français - anglais

Le service de vérification binaire envoie le résultat de vérification binaire à l'agent de client de vérification binaire.

The binary verification service sends a binary verification result to the binary verification client agent.

informatique et traitement des données - wipo.int
Vérification CE sur la base de la vérification du produit

EC verification based on product verification

commercialisation - eur-lex.europa.eu
Cette vérification est effectuée avant la vérification d’identité du client.

This verification is performed prior to the customer’s identity check.

général - CCMatrix (Wikipedia + CommonCrawl)
Vérification CE sur la base de la vérification du produit

EC verification based on product verification

commercialisation - eur-lex.europa.eu
Vérification CE sur la base de la vérification du produit

EC verification based on product verification

commercialisation - eur-lex.europa.eu
Vérification CE sur la base de la vérification du produit

EC verification based on product verification

commercialisation - eur-lex.europa.eu
La vérification est le processus de vérification d'un produit logiciel

Verification is the process of verifying a software product

général - CCMatrix (Wikipedia + CommonCrawl)
Vérification CE sur la base de la vérification de l'unité

EC verification based on unit verification

général - eur-lex.europa.eu
Vérification CE sur la base de la vérification de lunité

EC verification based on unit verification

général - eur-lex.europa.eu
Module SG: vérification CE fondée sur la vérification à lunité

Module SG: EC verification based on unit verification, or

général - eur-lex.europa.eu
Sélectionnez une vérification existante, puis choisissez Options > Dupliquer la vérification.

Select an existing check, and choose Options > Duplicate Check.

général - CCMatrix (Wikipedia + CommonCrawl)
J'ai cette vérification, j'ai ces deux commandes de vérification ici.

I have this verify, I have these two verify commands in here.

général - CCMatrix (Wikipedia + CommonCrawl)
Pour plus d’informations, voir Vérification de l’accessibilité avec l’outil Vérification complète et Vérification et correction de l’ordre de lecture.

For more information, see Check accessibility with Full Check and Check and correct reading order.

général - CCMatrix (Wikipedia + CommonCrawl)
Entrez le code de vérification dans le champ "code de vérification".

Enter the verification code in the verification code field.

général - CCMatrix (Wikipedia + CommonCrawl)
Felony vérification des antécédents et le FBI vérification des empreintes digitales.

Background check by the FBI and fingerprinting.

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


1 milliard de traductions classées par domaine d'activité en 28 langues