We couldn’t find this entry. Showing approximate results. Check your spelling or suggest adding this term to the dictionary.
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.
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.
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.
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.
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 ?
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
No results found for this meaning.
Synonyms and analogies of "multithreaded programs" in English