Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
concurrent system
Exemples avec "concurrent system" et leurs traductions en roumain
Because computations in a concurrent system can interact with each other while being executed, the number of possible execution paths in the system can be extremely large, and the resulting outcome can be indeterminate.
Deoarece calculele dintr-un sistem concurent pot interacționa unele cu altele în timp ce sunt executate, numărul de căi de execuție în sistem poate fi extrem de mare, iar rezultatul obținut nu poate fi determinat aprioric.
Autres résultats
The principal application of these logics is in writing specifications for concurrent systems.
Principala utilizare a acestor logici este definirea specificațiilor pentru sisteme concurente.
Concurrent programming encompasses the programming languages and algorithms used to implement concurrent systems.
Programarea concurentă cuprinde limbaje de programare și algoritmi utilizați în implementarea sistemelor concurente.
Various types of temporal logic can be used to help reason about concurrent systems.
Diferite tipuri de logică temporală pot fi folosite pentru a trata problema sistemelor concurente.
In computer science, a Petri net is a mathematical modeling tool used in analysis and simulations of concurrent systems.
În informatică, o rețea Petri este un instrument de modelare matematică utilizat în analize și simulări ale sistemelor concurente.
The Actor model can be used as a framework for modeling, understanding, and reasoning about a wide range of concurrent systems.
Modelul actor poate fi folosit ca un framework pentru modelare, înțelegerea și gândire despre o mare arie de sisteme concurente.
A number of formalisms for modeling and understanding concurrent systems have been developed, including
Mai multe formalisme pentru modelarea și înțelegerea sistemelor concurente au fost dezvoltate, incluzând
Some of these models of concurrency are primarily intended to support reasoning and specification, while others can be used through the entire development cycle, including design, implementation, proof, testing and simulation of concurrent systems.
Unele dintre aceste modele de concurență sunt destinate în primul rând modelării și stabilirii specificațiilor, în timp ce altele pot fi utilizate pe parcursul întregului ciclu de dezvoltare, inclusiv pentru proiectarea, implementarea, verificarea, testarea și simularea sistemelor concurente.
Some concurrent systems implement a form of transparent concurrency, in which concurrent computational entities may compete for and share a single resource, but the complexities of this competition and sharing are shielded from the programmer.
Unele sisteme concurente pun în aplicare o formă de concurență transparentă, în care entitățile computaționale pot concura și partaja o resursă unică, însă complexitatea mecanismului este ascunsă programatorului.
Design of concurrent systems often entails finding reliable techniques for coordinating their execution, data exchange, memory allocation, and execution scheduling to minimize response time and maximise throughput.
Proiectarea sistemelor concurente implică de cele mai multe ori găsirea unor tehnici solide de coordonare a execuției, schimburilor de date, alocării memoriei și planificării execuției în vederea minimizării timpului de răspuns și maximizării volumului de date procesate în unitatea de timp.
It has been used both as a framework for a theoretical understanding of computation and as the theoretical basis for several practical implementations of concurrent systems.
A fost folosit și ca framework pentru o înțelegere teoretică a calculului, și ca bază teoretică pentru mai multe aplicații practice a sistemelor concurente.
The Concurrency Representation Theorem in the actor model provides a fairly general way to represent concurrent systems that are closed in the sense that they do not receive communications from outside.
Teorema de reprezentare computațională din modelul Actor oferă o modalitate destul de generală de a reprezenta sisteme concurente, care sunt închise în sensul că nu primesc comunicații din afară.
Leslie Lamport For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency.
Pentru contribuții fundamentale în domeniul inteligenței artificiale prin dezvoltarea unei analize a raționamentului sistemelor distribuite și concurente, mai ales pentru inventarea unor concepte ca cel al cauzalității și al ceasurilor logice, siguranță și liveness, mașini de stări replicate și consistență secvențială.
Synonymes et analogies de "concurrent system" en anglais
Le mot et l’expression du jour
L’image du jour
Résultats: 51. Exacts: 1. Temps écoulé: 105 ms.
