We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
nachrichtenbasierten
Nachrichtenaustausch
nachrichtenbasierte
The proposed models address different aspects of fault-tolerant message-passing protocols.
Die vorgestellten Modelle behandeln verschiedene Aspekte von fehlertoleranten, nachrichtenbasierten Protokollen.
In the first part of the thesis, models of fault-tolerant message-passing protocols are proposed to enable efficient verification.
Im ersten Teil der Dissertation werden Modelle von fehlertoleranten, nachrichtenbasierten Protokollen vorgeschlagen, die eine effiziente Verifikation ermöglichen.
ROS provides standard operating system services such as hardware abstraction, low-level device control, implementation of commonly used functionality, message-passing between processes and package management.
ROS bietet Standard-Betriebssystemdienste wie Hardware-Abstraktion, Low-Level-Gerätesteuerung, Implementierung häufig genutzter Funktionen, Nachrichtenaustausch zwischen Prozessen und Paketverwaltung.
To demonstrate the features of LPOR, it is applied to general message-passing systems.
Um die Eignung dieses Ansatzes zu demonstrieren, wird LPOR auf nachrichtenbasierte Systeme angewendet.
Due to (i) and (ii), the verification of fault-tolerant message-passing protocols faces with a large problem space.
Die oben genannten Gründe (i) und (ii) implizieren einen sehr großen Problemraum für die Verifikation fehlertoleranter, nachrichtenbasierte Protokolle.
The thesis proposes a classification of lemmas in fault-tolerant message-passing protocols to enable their automated discovery.
Diese Dissertation schlägt eine Klassifizierung von Lemmata in fehlertoleranten, nachrichtenbasierten Protokollen vor, um automatisches Finden von Lemmata zu ermöglichen.
Experiments with representative fault-tolerant message-passing protocols justify LPOR's improvements.
Experimente mit repräsentativen, fehlertoleranten, nachrichtenbasierten Protokollen validieren die durch LPOR erzielten Verbesserungen.
Normally an explicit message-passing model is used to coordinate multiple nodes.
Normalerweise wird für die Koordinierung mehrerer Knoten ein explizites Message-Passing-Modell verwendet.
A method and apparatus for multicasting messages using a message-passing interface
A message-passing facility that allows a distributed application to call services available on various computers on a network.
Eine Einrichtung zur Weitergabe von Nachrichten, über die eine verteilte Anwendung in einem Netzwerk Dienste auf verschiedenen Computern aufrufen kann.
Lusk heads a team investigating message-passing libraries, parallel input/output, data visualization and operating systems on high-performance computer systems.
Lusk geht Untersuchungsmeldung-passierende Bibliotheken eines Teams, paralleles Input/Output, Datensichtbarmachung und Betriebssysteme auf Hochleistungsrechneranlagen voran.
Instead, you communicate between content scripts and add-on code using a message-passing scheme.
Das SDK-Event-Framework und die Unterscheidung zwischen Add-on-Scripts und Content-Scripts.
This is a versatile feature that can be used to implement anything from simple static dependency graphs to complex message-passing, actor-like graphs.
Dies ist eine vielseitige Funktion, die zur Implementierung zahlreicher Elemente verwendet werden kann, von einfachen Graphen zur statischen Dependenz bis hin zu komplexen, Aktor-ähnlichen Graphen für die Nachrichtenweiterleitung.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.