Examples of using Programmes concurrents in French and their translations into English
{-}
-
Colloquial
-
Official
Il y avait des programmes concurrents.
There were competing programs.Description: Cet article a présenté les preuves d'invariance des programmes concurrents.
Description: The paper that introduced invariance proofs of concurrent programs.D'écrire des programmes concurrents.
IF they start writing competitive programs.Le troisième chapitre est consacré aux aspects spécifiques de l'analyse de programmes concurrents.
The third chapter is devoted to aspects of static analyzers that are specific to concurrent programs.Analyse statique de programmes concurrents.
Static Analysis of Concurrent Programs.Combinations with other parts of speech
Usage with adjectives
nouveau programmeprogrammes scolaires
programmes nationaux
autres programmesprogramme nucléaire
programme régional
les programmes scolaires
un nouveau programmedifférents programmesdivers programmes
More
C'est la solution la plus pertinente lorsque le responsable doit choisir entre deux programmes concurrents.
This is most appropriate when the sponsor is faced with choosing between competing programs.Vérification par Model Checking de Programmes Concurrents Paramétrés sur des Modèles de Mémoire Faibles.
Verification of Concurrent Programs on Weak Memory Models.Seulement trois% opérations sont requises pour écrire des programmes concurrents en Erlang.
All we need to write% concurrent programs in Erlang are three primitives.Comparé à d'autres programmes concurrents, tels que Aweber ou Mail Chimp, le prix était très raisonnable.
Compared to other competitive programs, such as Aweber or Mail Chimp, the pricing was quite reasonable.Table Open Interface et programmes concurrents.
Open Interface Table and concurrent programs.Résumé: Pour utiliser la puissance de calcul des ordinateurs modernes,nous devons écrire des programmes concurrents.
Abstract: To use the computational power of modern computing machines,we have to deal with concurrent programs.Malheureusement, il est difficile d'écrire des programmes concurrents efficaces et corrects reposant sur des verrous.
Unfortunately, using locks it is difficult to write correct concurrent programs that perform efficiently.Description: Le modèle de vérification a été présenté comme une procédure afin de vérifier l'exactitude des programmes concurrents.
Description: Model checking was introduced as a procedure to check correctness of concurrent programs.Sûreté et sécurité logicielles:l'analyse de programmes concurrents est encore balbutiante.
Software safety and security:the analysis of concurrent programs is still in its infancy.Actuellement, l'écriture des programmes concurrents est, en général, réalisée en utilisant les verrous, mais écrire un programme correct avec cette approche est difficile.
Currently, the predominant approach to write concurrent programs is to use locks, but using locks for writing correct SR est un langage pour écrire des programmes concurrents.
SR: a language for writing concurrent programs.Les programmes concurrents des deux géants du microprocesseur ne sont pas les premiers essais de l'industrie technologique pour vendre des ordinateurs et de la connectivité aux pays en voie de développement.
The competing programs from the two microprocessor giants are not the first attempts by the tech industry to sell computers and connectivity to developing countries.SR est un langage pour écrire des programmes concurrents.
SR is a language for writing concurrent programs.L'équipe-projet PARSIFAL a pour but d'élaborer des méthodes et des outils pour la spécification et le raisonnement sur des systèmes calculatoires comme, par exemple, des compilateurs,des protocoles de sécurité et des programmes concurrents.
The PARSIFAL project-team aims at elaborating methods and tools for specifying and reasoning about computation systems, such as, for example, compilers,security protocols, and concurrent programs.SR est un langage pour écrire des programmes concurrents.
Go is also a great language for writing concurrent programs.
