Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Branching-Time
Examples with "Branching-Time" and their translation in Duits
We apply our method to verify branching-time temporal properties and compute winning strategies in graph games over infinite-state programs.
Wir wenden unsere Methode an um branching-time temporal Eigenschaften zu überprüfen und Gewinnstrategien für Graph-Spielen auf infinite-state Programmen zu berechnen.
Based upon those, it identifies an M-shaped structure as the smallest undistributable Petri net and proves that this identification is stable across a wide swath of the linear-time branching-time spectrum of behavioural equivalences, collected by Glabbeek.
Innerhalb dieses Modells wird eine M-förmige Struktur als das kleinste unverteilbare Petrinetz identifiziert und gezeigt, dass diese Eigenschaft über einen großen Bereich des durch Glabbeek beschriebenen Linear-Time Branching-Time Spektrums der Verhaltensäquivalenzen stabil bleibt.
Andere resultaten
In particular, we discuss linear time properties like monotony and branching time properties like robustness.
Wir diskutieren die Möglichkeit Monotonie- und Robustheits-Annahmen mithilfe von Linear Time Logic und Computational Tree Logic zu kodieren.
From 1977 to 1982 he switched his attention to verification of transition systems and developed original results on the algorithmic verification of concurrent systems based on a fixpoint characterization of the modalities of a branching time temporal logic.
Von 1977 bis 1982 fokussierte er seine Arbeit mehr auf die Überprüfung von Übergangs-Systemen und entwickelte neue Resultate für die algorithmische Verifikation nebenläufiger Systeme, basierend auf einer Fixpunkt-Charakterisierung der Modalitäten einer in der Zeit verzweigten temporalen Logik.
And we find the same fractal branching system time and again throughout nature.
Dasselbe fraktale Ästesystem finden wir in der Natur immer wieder.
The easy and time saving branching off is effected without any special tools.
Das Abzweigen wird einfach und zeitsparend ohne Spezialwerkzeug durchgeführt.
Limits on the production cross-section times leptonic branching fraction are set.
Daher werden Schranken an den Produktionswirkungsquerschnitt und das leptonische Verzweigungsverhältnis gesetzt.
Summary. Interactive media differ from traditional linear media in having a branching reading time.
Zusammenfassung. Indem sie eine verzweigte Lese-Zeit besitzen, unterscheiden sich interaktive Medien von traditionellen linearen Medien.
This option performs the same branching when the call times out. It transfers the call for evaluation by operator profiles defined for the server.
Diese Option veranlasst dieselbe Verzweigung, wenn der Anruf das Zeitlimit überschreitet. Der Anruf wird zur Bewertung durch die für den Server definierten Zentralenprofile weitergeleitet.
No evidence for Supersymmetry is found and limits on the production cross-section times leptonic branching fraction are set.
Kein Hinweis auf die Existenz von Supersymmetrie wird gefunden. Daher wird eine Schranke für den Produktionswirkungsquerschnitt und das leptonische Verzweigungsverhältnis berechnet.
Therefore limits on the production cross section times branching fractions of certain models of Z' boson and a Kaluza-Klein gluon resonances are set.
Es ist daher möglich Grenzwerte auf das Produkt aus Wirkungsquerschnitt und Verzweigungsverhältnis für bestimmte Modelle von Z'-Bosonen und Kaluza-Klein-Gluonen zu bestimmen.
Consequently, the Signavio Viewer-based process diagram is complemented by other views that are commonly used to evaluate process data, such as average throughput times, branching distribution, and consumption of resources.
D.h. rund um das Prozessdiagramm auf Basis des Signavio Viewers sind typische weitere Sichten der Auswertung von Prozessdaten wie mittlere Durchlaufzeiten, Verteilung bei Verzweigungen oder Verbräuche von Ressourcen positioniert.
No evidence for additional Higgs bosons is found and exclusion limits on the cross section times branching ratio for further Higgs bosons are set.
Es wurde kein Hinweis auf zusätzliche Higgs-Bosonen gefunden. Entsprechende Ausschlussgrenzen werden auf das Produkt aus Wirkungsquerschnitt und Verzweigungsverhältnis für weitere Higgs-Bosonen bestimmt.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor Branching-Time in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 18. Exact: 2. Verstreken tijd: 32 ms.
