Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Lamport's PlusCal algorithm
Examples with "Lamport's PlusCal algorithm" and their translation in Frans
PlusCal-2 improves upon Lamport's PlusCal algorithm language by lifting some of its restrictions and adding new constructs.
PlusCal-2 améliore le langage algorithmique PlusCal conçu par Lamport en levant certaines restrictions de ce langage et en y ajoutant de nouvelles constructions.
PlusCal-2 improves upon Lamport's PlusCal algorithm language by lifting some of its restrictions and adding new constructs.
PlusCal-2 améliore le langage algorithmique PlusCal conçu par Lamport en levant certaines restrictions de ce langage et en y ajoutant de nouvelles constructions.
Andere resultaten
What is Leslie Lamport's contribution to research in computer science?
One of the first consistency models was Leslie Lamport's sequential consistency model.
L'un des premiers modèles de cohérence pour la programmation concourante est celui de Leslie Lamport, c'est celui de la cohérence séquentielle.
Guerraoui invented the mathematical abstraction of indulgence to precisely capture the essence of asynchronous algorithms of which safety does not depend on timing assumptions, such as Lamport's Paxos or Castro-Liskov's PBFT.
Rachid Guerraoui a inventé la notion mathématique abstraite d'indulgence pour capturer précisément l'essence des algorithmes asynchrones dont la sécurité ne dépend pas d'hypothèses sur le temps, tels que Paxos de Lamport ou PBFT de Castro-Liskov.
Logics such as Lamport's TLA+, and mathematical models such as traces and Actor event diagrams, have also been developed to describe the behavior of concurrent systems.
La logique modale de Lamport, appelée TLA+ et d'autres modélisations, comme les théories des traces et du modèle d'acteur, ont également été développés pour décrire le comportement des systèmes concurrents.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor Lamport's PlusCal algorithm in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 6. Exact: 2. Verstreken tijd: 84 ms.
