Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
concurrent computation
Vertaling van "concurrent computation" in Frans
One of the most critical and essential issues is the concurrent computation of fluid flow in the bulk liquid and stress-strain evolution in the already solidified regions.
L'un des problèmes les plus critiques et essentiels est le calcul simultané de l'écoulement du fluide dans les régions liquides et de l'évolution contrainte-déformation dans les régions déjà solidifiées.
Traces are used in theories of concurrent computation, where commuting letters stand for portions of a job that can execute independently of one another, while non-commuting letters stand for locks, synchronization points or thread joins.
Les traces apparaissent dans la modélisation en programmation concurrente, où les lettres qui peuvent commuter représentent des parties de processus qui peuvent s'exécuter de façon indépendante, alors que les lettres qui ne commutent pas représentent des verrous, leur synchronisation ou l'union de threads.
Description: Girard's linear logic was a breakthrough in designing typing systems for sequential and concurrent computation, especially for resource conscious typing systems.
Andere resultaten
Rewriting logic is a logic of concurrent change that can naturally deal with state and with concurrent computations.
La réécriture logique suit une logique de changements concurrents qui peut traiter naturellement l'état et des calculs concurrents.
Apart from the use case method, we design a model-checker to verify the deadlock freedom of concurrent computations, by compiling the parallel composition to the non-deterministic choice operator using the language of blocking computations.
Nous concevons également un vérificateur de modèles pour vérifier l'absence d'interblocage dans un programme concurrent, en compilant la composition parallèle vers l'opérateur de choix non-déterministe.
Petri nets are used to model concurrent flow of computation.
Ces réseaux de Petri sont utilisés pour modéliser des flux concurrents de calcul.
a system for a global concurrent path computation in a communication network is disclosed
système pour calcul de trajet concurrent global dans un réseau de communication
A new class of models, formalisms and mechanisms for describing concurrent and distributed computations has emerged over the last few years.
Une nouvelle catégorie de modèles, de formalismes et de mécanismes utilisés pour décrire les calculs simultanés et distribués a vu le jour ces dernières années.
This includes the construction of abstract models of probabilistic and quantum programs, and the use of geometric and topological structures to describe concurrent or distributed computation.
Cela se manifeste notamment dans la construction de modèles abstraits des programmes probabilistes et quantiques, et dans l'utilisation de structures géométriques et topologiques pour représenter des situations de calculs distribués ou concurrents.
system of path computation element protocol support for large-scale concurrent path computation
système de soutien par protocole d'élément de calcul de trajet pour calcul de trajet concurrent à grande échelle
A system for a global concurrent path computation in a communication network is disclosed.
Système pour calcul de trajet concurrent global dans un réseau de système comprend un protocole de communication pour élément de calcul de trajet.
FEC STREAMING WITH AGGREGATION OF CONCURRENT STREAMS FOR FEC COMPUTATION
TRANSMISSION EN CONTINU À CONTRÔLE CONTINU AVEC AGRÉGATION DE FLUX CONCOMITANTS POUR LE CALCUL DE CONTRÔLE CONTINU
FEC STREAMING WITH AGGREGATION OF CONCURRENT STREAMS FOR FEC COMPUTATION
TRANSMISSION EN CONTINU À CONTRÔLE CONTINU AVEC AGRÉGATION DE FLUX CONCOMITANTS POUR LE CALCUL DE CONTRÔLE CONTINU
Synoniemen voor concurrent computation in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 24. Exact: 3. Verstreken tijd: 48 ms.
