Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
bisimulation
Vertaling van "bisimulation" in Duits
Bisimulation
Furthermore, it is the largest bisimulation relation over a given transition system.
Ferner ist sie die größte Bisimulation über einem gegebenen Transitionssystem.
In special contexts the notion of bisimulation is sometimes refined by adding additional requirements or constraints.
In speziellen Situationen wird der Begriff der Bisimulation manchmal verfeinert, indem weitere Bedingungen hinzugefügt werden.
simulation, bisimulation and efficient minimization of automata
Simulation, Bisimulation and effiziente Minimierung von Automaten
We prove both programs to be behaviorally equivalent (bisimulation).
Wir beweisen, dass beide Programme verhaltensäquivalent sind (Bisimulation).
In this work, non-determinism additionally makes visible when sharing is broken. Based on the bisimulation method this work develops a notion of equality which respects sharing.
In dieser Arbeit wird nun, basierend auf der Methode der Bisimulation, ein Gleichheitsbegriff entwickelt, der Sharing respektiert.
To address the approximate nature of data flow-oriented languages, we adapt the equivalence notion of approximate bisimulation to Simulink.
Um die approximative Natur der datenflussorientierten Sprachen zu berücksichtigen, passen wir den Äquivalenzbegriff der approximierten Bisimulation an Simulink an.
The open similarity of chapter 4 represents a new concept, insofar that the usual definition of a bisimulation is impossible in the lambda-ND calculus. So in section 3.2 a further calculus lambda-Approx has to be defined.
Die Open Similarity in Kapitel 4 ist insofern neu, als daß die übliche Definition einer Bisimulation im call-by-need Kalkül Lambda-ND nicht möglich ist und daher in Abschnitt 3.2 ein weiterer Kalkül Lambda-Approx definiert werden muss.
Regarding analysis, we develop techniques using bisimulation equivalences for proving the correctness of the models.
Im Rahmen der Analyse werden Techniken zur Korrektheitsprüfung der erstellten Modelle entwickelt.
Amongst others, we define bisimulation, trace and testing equivalence as well as extensions of failure trace equivalence.
Unter anderem werden Bisimulations-, Spur- und Testäquivalenz, sowie Erweiterungen der Spuräquivalenz definiert.
Using bisimulation to establish contextual equivalence requires substitutivity within contexts, i.e., the ability to "replace equals by equals" within every program or term.
Um Bisimulation zum Beweis von kontextueller Gleichheit verwenden zu können, ist Einsetzbarkeit in Kontexte erforderlich, d.h. daß gleiche Terme quasi als Unterprogramme austauschbar sind.
In particular, by providing both bisimulation and property based verification, we allow the developer to divide the verification problem into subproblems, which eases verification significantly.
Dadurch dass wir sowohl bisimulations- als auch eigenschaftsbasierte Verifikation ermöglichen, erlauben wir dem Entwickler insbesondere, das Verifikationsproblem in Teilprobleme zu zerlegen. Dies vereinfacht die Verifikation erheblich.
In theoretical computer science a bisimulation is a binary relation between state transition systems, associating systems that behave in the same way in the sense that one system simulates the other and vice versa.
In der theoretischen Informatik ist eine Bisimulation eine Relation zwischen den Zuständen eines Transitionssystems, die solche Zustände miteinander in Beziehung setzt, die sich gleich verhalten. Das bedeutet, dass der eine Zustand die Übergänge des anderen simulieren kann und umgekehrt.
This research has resulted in Van Benthem's Theorem, which states that propositional modal logic is the fragment of first-order logic that is closed under bisimulation.
Hier bewies er einen nach ihm benannten Satz, dass die modale Logik der Teil der Prädikatenlogik ist, der unter Bisimulation geschlossen ist.
Synoniemen voor bisimulation in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 15. Exact: 15. Verstreken tijd: 51 ms.
