Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
memory model
Vertaling van "memory model" in Frans
Information describing the memory model is logged for auto-modelling purposes.
Les informations décrivant la manipulation du modèle de mémoire sont consignées à des fins d'automodélisation.
This association relies on a particular memory model, in charge of linking the two processes.
Cette association repose sur un modèle de mémoire spécifique, chargé de servir de trait d'union entre ces deux processus.
The overall cause of all these problems is the default bittedness and memory model used by the server process.
La cause générale de ces problèmes est le nombre de bits et le modèle mémoire utilisé par le processus serveur.
The algebraic properties of this memory model play an important role in the proofs of semantic preservation for the compiler.
Les propriétés algébriques de ce modèle mémoire jouent un rôle important dans les preuves de préservation sémantique du compilateur.
The present invention relates to the use of multiple store buffer forwarding in a microprocesseur system with a restrictive memory model.
La présente invention concerne l'utilisation du transfert de plusieurs tampons dans un système de microprocesseur ayant un modèle de mémoire restrictif.
As a result, different scenarios for attribute loss and testing thereof are allowed and restricted in a memory model.
Par conséquent, différents scénarios pour la perte d'attributs et leur vérification sont autorisés et limités dans un modèle de mémoire.
apparatus and methods using a linear memory model for encoder output buffers
appareil et procédés utilisant un modèle de mémoire linéaire pour mémoires tampons de sortie de codeur
It is a weaker memory model than strict consistency model.
Il s'agit d'un modèle de mémoire plus faible que le modèle de cohérence stricte.
A coding scheme is disclosed herein that combines rewriting and error correction for the write-once memory model.
Plus particulièrement, la présente invention concerne un schéma de codage qui combine réécriture et correction d'erreurs pour le modèle de mémoire inscriptible une seule fois.
We eventually define abstract domains allowing to precisely infer relations that are specific to the memory model, in order to certify programs entailing complex invariants.
Nous définissons finalement des domaines permettant d'inférer avec précision des relations spécifiques au modèle mémoire afin de pouvoir certifier des programmes aux invariants complexes.
The reason for using a specific memory model is the size of the assembler instructions or required storage for pointers.
Le choix d'un modèle de mémoire spécifique va dépendre de la quantité d'instructions assembleurs ou du stockage requis pour les pointeurs.
In the shared memory model, multiple processes execute on different processors independently, but they share a common memory space.
Dans le modèle de mémoire partagée, plusieurs processus exécutent sur différents processeurs indépendamment, mais ils partagent un espace mémoire commun.
This feature allows programs that use far pointers or a large data memory model to specify which segment is to be used for the software interrupt.
Ce dispositif permet les programmes qui emploient des indicateurs lointains ou un grand modèle de mémoire de données pour indiquer quel segment doit être employé pour l'interruption de logiciel.
Synoniemen voor memory model in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 117. Exact: 117. Verstreken tijd: 74 ms.
