Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
concurrent constraint programming
Vertaling van "concurrent constraint programming" in Frans
Programmation Concurrente par Contraintes
Abstract: Concurrent constraint programming (CCP) is a mature linguistic formalism from the family of process calculi and hence it treats processes much like the lambda-calculus treats computable functions.
Résumé : La Programmation Concurrente par Contraintes (CCP) est un formalisme linguistique mature de la famille des algèbres de processus, il traite les processus de la même façon que le lambda-calcul traite les fonctions calculables.
French description Abstract Concurrent constraint programming (CCP) is a mature linguistic formalism from the family of process calculi and hence it treats processes much like the lambda-calculus treats computable functions.
La Programmation Concurrente par Contraintes (CCP) est un formalisme linguistique mature de la famille des algèbres de processus, il traite les processus de la même façon que le lambda-calcul traite les fonctions calculables.
Logic programming emerged under the slogan "Logic as a programming language" and the connection was manifest in a very clear way in the concurrent constraint programming paradigm.
La programmation logique émergea sous le slogan<>et dans le paradigme de la programmation concurrente par contraintes, le lien est manifeste de manière très claire.
Concurrent constraint programming: a well established process calculus for modeling systems where agents interact by posting and asking information in a store.
Programmation concurrente par contraintes: un modèle bien établi pour la spécification de systèmes concurrents où les agents ajoutent de l'information ou interrogent si certains faits peuvent être déduits.
Using hybrid concurrent constraint programming to model dynamic biological systems.
Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides.
In the formal declarative model known as concurrent constraint programming, constraint systems provide the basic domains and operations for the semantic foundations of this model.
Dans le modèle déclaratif formel connu sous le nom de programmation concurrent par contraintes, les systèmes de contraintes fournissent les domaines de base et les opérations pour les fondements sémantiques de ce modèle.
From the algorithmic point of view, GDRev solves geometric constraints using cooperation of solvers based on the concurrent constraint programming paradigm.
D'un point de vue algorithmique, GDRev résout les contraintes géométriques par "coopération de solveurs" reposant sur un schéma de "programmation concurrente avec contraintes".
Abstract: Concurrent Constraint Programming (CCP) is a formalism for concurrency in which agents (processes) interact with one another by telling (adding) and asking (reading) information represented as constraints in a shared medium (the store).
Résumé : La Programmation Concurrente par Contraintes (CCP) est un modèle mathématique pour la spécification de systèmes concurrents où les agents (processus) ajoutent de l'information ou interrogent si certains faits peuvent être déduits.
Temporal Concurrent Constraint Programming (tcc) extends CCP by allowing agents to be constrained by time conditions.
La Programmation Temporelle Concourante par Contraintes (tcc) est un extension de CCP où l'exécution des processus a lieu dans des intervalles de temps.
Synoniemen voor concurrent constraint programming in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 9. Exact: 9. Verstreken tijd: 35 ms.
