Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
concurrent systems
Forme fléchie de concurrent system
Traduction de "concurrent systems" en roumain
sistemelor concurente
sisteme concurente
sistemele 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.
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.
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.
Because they use shared resources, concurrent systems in general require the inclusion of some kind of arbiter somewhere in their implementation (often in the underlying hardware), to control access to those resources.
Deoarece folosesc resurse partajate, sistemele concurente necesită în general includerea unui arbitru în implementare (de multe ori în hardware-ul sistemului), pentru a controla accesul la aceste resurse.
Concurrent systems such as Operating systems and Database management systems are generally designed to operate indefinitely, including automatic recovery from failure, and not terminate unexpectedly (see Concurrency control).
Sistemele concurente, cum ar fi sistemele de operare și sistemele de management ale bazelor de baze sunt în general concepute pentru a funcționa pe termen nelimitat, includ funcții de redresare la defect, și nu se opresc în mod neașteptat.
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.
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.
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.
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.
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.
In a very different area, Milner also developed a theoretical framework for analyzing concurrent systems, the calculus of communicating systems (CCS), and its successor, the pi-calculus.
De asemenea, Milner a construit un cadru teoretic pentru analiza sistemelor concurente, cadru denumit analiza sistemelor comunicante.
Synonymes et analogies de "concurrent systems" en anglais
Le mot et l’expression du jour
L’image du jour
Résultats: 15. Exacts: 15. Temps écoulé: 16 ms.
