Publications scientifiques

Iteration-free pdl with storing, recovering and parallel composition: a complete axiomatization... Our results are based on the following: although the

program operation

of parallel composition is not modally definable in the ordinary language of PDL, it becomes definable in a modal language strengthened by the introduction of
...
général - core.ac.uk - PDF: oatao.univ-toulouse.fr
Axiomatization and computability of a variant of iteration-free pdl with fork... Concerning the axiomatization, our resuts are based on the following: although the program operation of fork is not modally definable in the ordinary language of PDL, it becomes definable in a modal language strengthened by the introduction of propositional ...
général - core.ac.uk - PDF: hal.archives-ouvertes.fr
Descriptors identifiers abstract... A description of program operation includes specific discussion of: (1) planning, (2) participants, (3) staff, (4) orientation, (5) program operation, and (6) evaluation....
général - core.ac.uk - PDF: files.eric.ed.gov
Program operation and space organization of community libraries in england - focus on four cases in lewisham, londonThis study aims to analyze the guidelines and cases of Community Library in UK from which to derive insights of program operation and space organization of Small Libraries in South Korea....
général - core.ac.uk - PDF: repository.hanyang.ac.kr

Exemples anglais - français

finances de l'union européenne / région et politique régionale / informatique et traitement des données / technologie et réglementation technique - iate.europa.eu
transports aérien et spatial - techdico
industrie mécanique - lexique.mecaniqueindustrielle.com
[...]
informatique et traitement des données - iate.europa.eu
santé - iate.europa.eu
santé - iate.europa.eu
[...]

Traductions en contexte anglais - français

The second write loop includes a second

program operation

and a second verify

operation

.

La seconde boucle d'écriture comprend une seconde opération de programme et une seconde opération de vérification.

informatique et traitement des données - wipo.int
The first write loop includes a first program operation and a first verify operation.

La première boucle d'écriture comprend une première opération de programme et une première opération de vérification.

informatique et traitement des données - wipo.int
Data is written to a memory cell by multiple repetitions of a program loop that includes a program operation and a verification operation.

Des données sont écrites dans une cellule de mémoire suite à plusieurs répétitions d'une boucle incluant une opération de programmation et une opération de vérification.

informatique et traitement des données - wipo.int
The keyed program operation permits secure transfer of program data through open channels such as the Internet.

Le fonctionnement du programme chiffré permet le transfert sécurisé de données de programme par l'intermédiaire de canaux ouverts tels que l'Internet.

informatique et traitement des données - wipo.int
A program operation for a set of non-volatile storage elements.

La présente invention concerne une opération de programme destinée à un ensemble d'éléments de stockage non volatils.

informatique et traitement des données - wipo.int
In a program operation, the master latch stores program data which is used for programming selected memory cells.

Dans une opération de programme, le verrou maître stocke des données de programmes qui sont utilisées pour programmer des cellules de mémoire sélectionnées.

informatique et traitement des données - wipo.int
In this manner, cells properly programmed during the first program operation are not reprogrammed during program verify operations.

De ce fait, les cellules correctement programmées pendant la première opération de programmation ne sont pas reprogrammées lors des opérations de vérification des programmes.

informatique et traitement des données - wipo.int
The utility program has a graphical user interface (GUI) whereby utility program operation can be configured and customized.

Le programme utilitaire est muni d'une interface utilisateur graphique (GUI) de sorte que le fonctionnement du programme utilitaire peut être configuré et personnalisé.

informatique et traitement des données - wipo.int
Inspect and Evaluate Respirator Program Operation.

Inspectez et évaluez le fonctionnement du programme de respirateur.

général - CCMatrix (Wikipedia + CommonCrawl)
A method and apparatus suspend a program operation in a nonvolatile writeable memory.

La présente invention concerne un procédé et un dispositif suspendant une opération logicielle dans une mémoire non volatile enregistrable.

informatique et traitement des données - wipo.int
Even in using other apparatuses, furthermore, the program operation need not be effected again, and the same program can be reproduced.

En outre, lorsqu'on utilise d'autres appareils de reproduction, il n'est pas nécessaire de répéter la programmation, et le même programme peut être reproduit.

informatique et traitement des données - wipo.int
A host controller can use the commands ahead of a multipage program operation to optimize usage of a multipage program command.

Un contrôleur d'hôte peut utiliser les commandes avant une opération de programmation multipage pour optimiser l'utilisation d'une commande de programmation multipage.

informatique et traitement des données - wipo.int
Dead code Program code statements which can never execute during program operation.

Code mort : Code qui ne sera jamais atteint dans le déroulement d'un programme.

général - CCMatrix (Wikipedia + CommonCrawl)
Since the second voltage is supplied to the transmission transistor only by the switch operation (selection operation) of the drain switch circuit, the program operation can be started in a short time after the verify operation.

Comme la deuxième tension n'est fournie au transistor de transmission que par l'actionnement (opération de sélection) du circuit de commutation de drain, l'opération de programme peut commencer peu de temps après l'opération de vérification.

informatique et traitement des données - wipo.int
Disclosed is a system which instructs a user in an application program operation method.

La présente invention concerne un système qui donne des instructions à un utilisateur dans un procédé de fonctionnement de programme d'application.

informatique et traitement des données - wipo.int


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