Publications scientifiques

Author manuscript, published in "higher-order and symbolic computation (2013)" certifying and reasoning about cost annotations of functional programs ∗...to insert cost annotations in a higher-order functional program, to certify their correctness with respect to a standard, typable compilation chain to assembly code including

safe memory

management, and to reason about them in a higher-order Hoare logic.
...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Certifying and reasoning about cost annotations of functional programs...labelling method to insert cost annotations in ahigher-order functional program, to certify their correctness with respect to astandard compilation chain to assembly code including safe memory management,and to reason on them in a higher-order Hoare logic.Comment:...
général - core.ac.uk - PDF: arxiv.org
Lossless fault-tolerant data structures with additive overhead... Our data structures require Θ(δ) words of safe memory during an operation, which may not be theoretically necessary but seems a practical assumption....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Memory sharing revisited (work in progress)... We have already applied our ideas to safe memory copies and are currently investigating extensions for direct memory access (DMA) and memory mapping....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Synonymes et termes associés anglais

Exemples anglais - français

informatique et traitement des données - iate.europa.eu
informatique et traitement des données - iate.europa.eu
informatique et traitement des données / technologie et réglementation technique / santé / politique et structures industrielles - iate.europa.eu
[...]
transport terrestre - acta.es
informatique et traitement des données - acta.es
santé - iate.europa.eu

Traductions en contexte anglais - français

This leads to a reduction of the overall provisioning of nonvolatile or fail-

safe memory

and to an improved scalability and performance.

Cela conduit à une réduction de l'approvisionnement d'ensemble des mémoires non volatiles ou des mémoires à sécurité intégrée et à une capacité d'évolution et une performance améliorées.

informatique et traitement des données - wipo.int
By default, the brain retrieves the fear memory that "all dogs are dangerous" in any context, except the one where the new safe memory occurred.

Par défaut, le cerveau récupère la mémoire de peur selon laquelle «tous les chiens sont dangereux», quel que soit le contexte, à l'exception de celui où la nouvelle mémoire sécurisée s'est produite.

général - CCMatrix (Wikipedia + CommonCrawl)
By default, the brain retrieves the fear memory that “all dogs are dangerous” in any context, except the one where the new safe memory occurred.

Par défaut, le cerveau récupère la mémoire de peur selon laquelle «tous les chiens sont dangereux», quel que soit le contexte, à l'exception de celui où la nouvelle mémoire sécurisée s'est produite.

général - CCMatrix (Wikipedia + CommonCrawl)
But this new safe memory is bound to a specific context (friendly dog in the therapy room).

Mais cette nouvelle mémoire sûre est lié à un contexte spécifique (chien amical dans le salle de thérapie).

général - CCMatrix (Wikipedia + CommonCrawl)
The application programming interface enables random access to previously allocated unmanaged memory in a type-safe and memory-safe way, with the random access being allowed to any location within the unmanaged memory.

L'interface de programmation d'application autorise un accès aléatoire à une mémoire non-gérée précédemment allouée d'une manière qui protège le type et la mémoire, l'accès aléatoire étant autorisé à n'importe quel endroit de la mémoire non-gérée.

informatique et traitement des données - wipo.int
The intelligent memory card is used for executing the safe transaction management instruction and the safe transaction application instruction.

La carte mémoire intelligente est utilisée pour exécuter l'instruction de gestion de transaction sécurisée et l'instruction d'application de transaction sécurisée.

industrie mécanique - wipo.int
A shape memory safe and arm system includes a fuze and a shape memory switch operably associated with the fuze.

La présente invention concerne un système d’armement à mémoire de forme qui comprend une fusée et un commutateur à mémoire de forme associé de façon opérationnelle à la fusée.

électronique et électrotechnique - wipo.int
The present invention relates to a fail-safe non-volatile memory programming system.

La présente invention concerne un système de programmation de mémoire non volatile autofiable.

informatique et traitement des données - wipo.int
Your Safe & Reliable Memory Card Recovery Software

Votre Logiciel de Récupération de Photo de Carte Mémoire Sûr et Fiable

général - CCMatrix (Wikipedia + CommonCrawl)
A fail safe BIOS configuration for a processor system (100) provides a flash memory (116) and a read only memory (ROM) (114).

Configuration BIOS à sécurité intégrée pour un système de processeur (100) comportant une mémoire flash (116) et une mémoire morte (114).

informatique et traitement des données - wipo.int
A memory unit is positioned within the cellular telephone for entering safe zone coordinates.

Une unité de mémoire est positionnée dans le téléphone cellulaire, permettant d'introduire des coordonnées de zones de sécurité.

organisation des transports - wipo.int
A control system checks that no memory point (21) resides within the safe area (15b).

Un système de commande vérifie qu'aucun repère (21) ne se situe dans la zone de sécurité (15b).

industrie mécanique - wipo.int
Fast and safe language (automatic storage management and memory management).

Gestion proactive et automatisée (intelligence, corrélation et agrégation des alertes).

général - CCMatrix (Wikipedia + CommonCrawl)
I keep that memory somewhere inside me—?where it’s safe.

Je conserve ce souvenir quelque part en moi, bien à l’abri.

général - CCMatrix (Wikipedia + CommonCrawl)
Memory and data safe-keeping can work alongside one another.

La mémoire et le stockage de données peuvent cependant fonctionner ensemble.

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


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