Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
Multithreaded programs
Vertaling van "Multithreaded programs" in Frans
programmes multithread
programmes multitâche
programme multithreadé
Multithreaded programs are possible because of an operating system feature called multitasking that simulates the ability to run multiple applications at the same time.
Les programmes multithread sont possibles grâce à une fonction du système d'exploitation "multitâche" et qui simule la possibilité d'exécuter plusieurs applications simultanément.
Updated "Multithreaded programs on linux" link
Mise à jour du lien "Programmes Multithread sous linux"
For programs, you should look at: Multithreaded programs on linux (I love hyperlinks, did you know that?
Pour les programmes vous devriez regarder à Multithreaded programs on linux (j'adore les liens hypertextes, le saviez vous ?
For multithreaded programs, use cc -pthread instead.
Pour les programmes multithreadés, utilisez cc -pthread à la place.
This is only useful when writing multithreaded programs.
C'est uniquement utile lors de l'écriture de programmes multi-threadés.
furthermore, a plurality of multithreaded programs may run simultaneously
en outre, une pluralité de programmes multifiles peuvent s'exécuter simultanément
Then we abstract it in order to track the information required by the analysis of multithreaded programs.
Ensuite, nous approximons cette sémantique afin de garder uniquement l'information qui est nécessaire pour l'analyse des programmes multitâche.
We extend this work to multithreaded programs and propose a technique to verify that method contracts comply with class protocols.
Nous étendons ces travaux aux programmes parallèles et inventons une technique afin de vérifier que les spécifications des méthodes d'une classe sont conformes au protocole de cette classe.
It starts by explaining the difference to processes and then introduces mutexes and semaphores needed to write more complex multithreaded programs.
Il commence par expliquer la différence avec les processus et présente les mutexes et les sémaphores nécessaires à l'écriture de programmes "multithreaded" plus complexes.
In addition to their performance benefits, STM greatly simplifies conceptual understanding of multithreaded programs and helps make programs more maintainable by working in harmony with existing high-level abstractions such as objects and modules.
En plus des bénéfices en performance, la STM simplifie grandement la compréhension des programmes multithreads et aide donc à rendre les programmes plus maintenables car travaillant en harmonie avec les abstractions de haut niveau comme les objets et les modules.
Abstract: We consider in this thesis the model-checking problem of infinite state systems, namely parametrized systems and recursive multithreaded programs.
Résumé : Nous nous intéressons dans cette thèse au model-checking des systèmes infinis, notamment les systèmes paramétrés et les programmes récursifs parallèles.
NOTES The random() function should not be used in multithreaded programs where reproducible behavior is required.
Cette fonction ne devrait pas être utilisée si plusieurs threads utilisent random() et si le comportement doit être reproductible.
This multicore revolutionyields to new challenges on the programming side too, asking thedevelopers to implement multithreaded programs.
Cette révolution amène également de nouveaux défis en matière de programmation, car elle demande aux développeurs d'implanter des programmes multitâche.
Synoniemen voor Multithreaded programs in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 15. Exact: 15. Verstreken tijd: 27 ms.
