Publications scientifiques

Symbolic equivalence checking... In this general framework, we are interested in the verification of behavioural properties on a concurrent

program specified

in the Lotos language [ISO87].
...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Founding cryptography on tamperproof hardware tokens... The hardware tokens allow the receiver to execute a secret program specified by the sender’s tokens exactly once (or, more generally, up to a fixed t times)....
général - core.ac.uk - PDF: eprint.iacr.org

Exemples anglais - français

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

Traductions en contexte anglais - français

A digital broadcasting

program specified

by a viewer is quickly selected.

La présente invention décrit un programme de diffusion numérique spécifié par un spectateur et qui peut être rapidement sélectionné.

électronique et électrotechnique - wipo.int
A moderator (206) accesses the content database to retrieve captions and for a program specified by the program information.

Un modérateur accède à la base de données de contenu pour récupérer des légendes et les programmes spécifiés par l'information de programmes.

informatique et traitement des données - wipo.int
When searching for a program similar to the program specified by a viewer, a program selection support device searches for a similar program according to the program information such as a program content.

Lorsqu’on cherche un programme similaire à un programme spécifié par un visualiseur, un dispositif de support de sélection de programme cherche un programme similaire en fonction de l’information de programme telle un contenu de programme.

électronique et électrotechnique - wipo.int
MBA program specified in Entrepreneurship and Leadership.

Programme de MBA spécifié dans l'entrepreneuriat et le leadership.

général - CCMatrix (Wikipedia + CommonCrawl)
death within the individual just as the program specified.

peur de la mort au sein de l'individu, comme cela est spécifié par le programme.

général - CCMatrix (Wikipedia + CommonCrawl)
The processor operating mode state information indicates the program specified mode of operation of the processor.

Les informations d'état de mode de fonctionnement de processeur indiquent le mode de fonctionnement du processeur spécifié dans le programme.

informatique et traitement des données - wipo.int
If the search condition is satisfied, the broadcast program specified by the EPG is recorded in the record list.

Si la condition de recherche est satisfaite, l'émission radiodiffusée spécifiée par l'EPG est enregistrée dans la liste d'enregistrement.

électronique et électrotechnique - wipo.int
The stored content is a browsing command for requiring a specific server to send the program content from an random position in a specific program specified by an user.

Le contenu enregistré représente une commande de navigation qui demande à un serveur spécifique d'envoyer le contenu situé dans une position aléatoire d'un programme spécifique identifié par l'utilisateur.

informatique et traitement des données - wipo.int
The information distributing apparatus determines permission or inhibition of distribution with respect to each program specified by the serial number.

L'appareil de distribution d'informations détermine une autorisation ou une interdiction de distribution par rapport à chaque programme spécifié par le numéro de série.

informatique et traitement des données - wipo.int
Likewise, a patch engine may be used to locate a specified patch program, load the specified patch program into the RAM and execute the specified patch program when the processor reaches the one of the jump instructions.

De cette manière, un moteur de mise en circuit peut servir à positionner un programme de mise en circuit spécifié, charger ledit programme dans la RAM et exécuter ce programme lorsque le processeur atteint une des instructions de saut.

informatique et traitement des données - wipo.int
A terminal restarting unit outputs, when an incorrect operation of the specified program is decided, signals for restarting the specified program to information service terminals.

Une unité de redémarrage de terminal envoie, lorsqu'un fonctionnement incorrect d'un programme est décidé, des signaux qui permettent un redémarrage du programme spécifié aux terminaux de service d'information.

informatique et traitement des données - wipo.int
A program for machining a work into a specified shape at specified places is written in advance.

Un programme destiné à l'usinage d'une pièce, l'usinage ayant pour but de donner à ladite pièce une forme spécifiée en des emplacements spécifiés, est écrit à l'avance.

industrie mécanique - wipo.int
The parent virtual computer executes a dummy application program instead of executing the specified application program.

L'ordinateur virtuel parent exécute un programme d'application factice au lieu d'exécuter le programme d'application spécifié.

informatique et traitement des données - wipo.int
A digital broadcasting program specified by a viewer is quickly selected.

La présente invention décrit un programme de diffusion numérique spécifié par un spectateur et qui peut être rapidement sélectionné.

électronique et électrotechnique - wipo.int
In one embodiment, an index is created by a first user for a specified video program that is applied when a second user request viewing the specified video program.

Dans un mode de réalisation, un index est créé par un premier utilisateur pour un programme vidéo spécifié qui est appliqué lorsqu'un second utilisateur demande l'affichage du programme vidéo spécifié.

électronique et électrotechnique - wipo.int


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