Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
graph transformations
Vertaling van "graph transformations" in Duits
Graphtransformationen
Graph-Transformationen
It comes with a new formalism for the specification of durative graph transformations.
Es bringt einen neuen Formalismus zur Spezifikation von zeitkonsumierenden Graphtransformationen mit sich.
Modeling guidelines can be specified on a very high level of abstraction by means of graph transformations.
Die Modellierungsrichtlinien können auf einem hohen Abstraktionsniveau mit Hilfe von Graphtransformationen spezifiziert werden.
Taking both the structure of graphs and applicable graph transformations into account, this is a considerable improvement over related work.
Sie berücksichtigt sowohl die Struktur des Graphen als auch die anwendbaren Graphtransformationen, was eine deutliche Verbesserung gegenüber verwandten Arbeiten darstellt.
Graph grammars and graph transformations combine ideas from the fields of graph theory, algebra, logic, and category theory, to formally describe changes in graphs.
Graphgrammatiken und Graphtransformationen kombinieren Ideen aus den Bereichen Graphentheorie, Algebra, Logik und Kategorientheorie, um Veränderungen an Graphen formal zu beschreiben.
Another fundamental aspect of graph transformations must be ensured: their correctness in order to prevent type errors while executing the transformations.
Ein anderer wichtiger Aspekt der Graphtransformationen muss geprüft werden: ihre Korrektheit, um Typfehler bei der Ausführung der Transformationen zu unterdrücken.
This formalism ensures that multiple durative graph transformations with conflicting behavior cannot be executed concurrently.
Dieser Formalismus stellt sicher, dass mehrere zueinander im Konflikt stehende zeitkonsumierende Graphtransformationen nicht nebenläufig ausgeführt werden können.
Checking and testing the graph transformations manually would ruin the benefit obtained by the automation of the guideline checking and by the generic and reflective features.
Eine manuelle Überprüfung der Graphtransformationen würde den Vorteil der automatisierten Richtliniensanalyse und der generischen und reflektiven Features zunichte machen.
The visual nature of the occurring coverage items is close to the graphical type of programming used in graph transformations which eases the construction of sensible test cases.
Die Visualisierbarkeit einzelner Überdeckungsanforderungen ist der grafischen Programmierung bei Graphtransformationen besonders nahe, so dass u. a. die Konstruktion sinnvoller Tests erleichtert wird.
The generic and reflective features aim at improving the reusability and expressiveness of SDM, whereas the type checking rules will ensure the type-safety of graph transformations.
Die generischen und reflektiven Features haben zum Ziel die Verbesserung der Wiederverwendung und Ausdrucksfähigkeit von SDM, während die Ableitungsregeln (oder Inferenzregeln) des Typsystems die Typsicherheit der Graphtransformationen gewährleisten.
The categorical approach to graph transformations is highly generic: All the proofs and constructions are valid for various types of graphs.
Die kategorielle Behandlung der Graphtransformationen ist hochgradig generisch: Alle Beweise und Konstruktionen gelten für verschiedene Graphtypen.
Graph transformations allow dynamically changing such representations, and therefore, they can describe the development of structures.
Graphtransformationen erlauben dynamische Veränderungen derartiger Darstellungen und somit die Beschreibung der Entwicklung von Strukturen.
Using graph transformations, we obtain point-to-point reductions for graph polynomials.We develop two general methods: Vertex/edge cloning and, more general, uniform local graph transformations.
Unter Verwendung von Graphtransformationen erhalten wir Punkt-zu-Punkt-Reduktionen für Graphpolynome. Dabei entwickeln wir auch zwei allgemeine Methoden: Das Klonen von Knoten bzw. Kanten und, allgemeiner, uniforme lokale Graphtransformationen.
In this thesis we present local graph transformations to build and maintain random networks without central coordination mechanisms.
In dieser Arbeit stellen wir lokale Graph-Transformationen zum Aufbau und der Aufrechterhaltung von Zufallsnetzwerken ohne zentrale Koordination vor.
Synoniemen voor graph transformations in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 25. Exact: 25. Verstreken tijd: 29 ms.
