Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
multi-threaded software
Vertaling van "multi-threaded software" in Frans
logiciel multifilière
LOGICIELS MULTIFILS
A system graphically visualizes performance and/or correctness features of a recorded execution of a multi-threaded software program.
Le système de l'invention permet de visualiser graphiquement les caractéristiques de performances et/ou de justesse d'une exécution enregistrée d'un programme logiciel multifil.
The model checking problem of a con current system is decomposed into a plurality of model checking problems on individual threads of the multi-threaded software.
Le problème de vérification de modèle d'un système concurrent est décomposé en une pluralité de problèmes de vérification de modèle sur des filières individuelles du logiciel multifilière.
model checking of multi-threaded software
vérification de modèle de logiciel multifilière
Here is a simple example of a pattern that breaks CQS principles but is useful for multi-threaded software.
Voici un exemple simple d'un modèle qui casse les principes CQS mais qui est utile pour les logiciels multi-threaded.
The hyper-threading feature is designed to improve performance of multi-threaded software products; please contact your software provider to determine software compatibility.
La fonction Hyperthreading est conçue pour améliorer la performance de produits logiciels à traitement multifilaire; veuillez communiquer avec votre fournisseur de logiciels pour déterminer la compatibilité de ces derniers.
This section is intended to outline what works, and what doesn't when it comes to programming multi-threaded software for SMP Linux.
Cette section a pour but de signaler ce qui fonctionne et ce qui ne fonctionne pas quand il s'agit de programmer des logiciels avec des Processus multiples
Yes Yes Support big projects and Big Data with acceleration for multi-threaded software, like business intelligence and collaboration applications.
Oui Oui Prenez en charge les gros projets et les grandes quantités de données grâce à l'accélération pour les logiciels multifils, par exemple les applications de veille économique et de collaboration.
MODEL CHECKING OF MULTI-THREADED SOFTWARE
VERIFICATION DE MODELE DE LOGICIEL MULTIFILIERE
VISUALIZING RECORDED EXECUTIONS OF MULTI-THREADED SOFTWARE PROGRAMS FOR PERFORMANCE AND CORRECTNESS
VISUALISATION D'EXÉCUTIONS ENREGISTRÉES DE PROGRAMMES LOGICIELS MULTIFILS POUR EN VÉRIFIER LES PERFORMANCES ET LA JUSTESSE
For the technically minded, we run multi-threaded software services on our servers to ensure we can check more than a thousand emails per minute.
Pour les férus de technique, nous avons un service avec des logiciels multi traitement sur nos serveurs pour que nous puissions vérifier plus d'un millier d'emails par minute.
A technique for model checking of multi-threaded software is herein disclosed which advanta geously can be used to verify correctness properties expressed using temporal logic, e.g., linear time temporal logic and branching time temporal logic.
Cette technique peut être mise en oeuvre avantageusement pour vérifier les propriétés d'exactitude exprimées au moyen d'une logique temporelle, par exemple une logique temporelle à temps linéaire et une logique temporelle à temps ramifié.
Today's Intel Hyper-Threading Technology (Intel HT Technology) delivers thread-level parallelism on each processor resulting in more efficient use of processor resources-higher processing throughput-and improved performance on the multi-threaded software of today and tomorrow.
Il en résulte une utilisation plus efficace des ressources des processeurs (des débits de traitement plus élevés) et des performances améliorées dans les logiciels multi-thread d'aujourd'hui et de demain.
Synoniemen voor multi-threaded software in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 12. Exact: 12. Verstreken tijd: 223 ms.
