Sciweavers

1550 search results - page 11 / 310
» Benchmarking for Graph Transformation
Sort
View
SPAA
2005
ACM
14 years 1 months ago
Peer-to-peer networks based on random transformations of connected regular undirected graphs
We present k-Flipper, a graph transformation algorithm that transforms regular undirected graphs. Given a path of k +2 edges it interchanges the end vertices of the path. By defin...
Peter Mahlmann, Christian Schindelhauer
ECEASST
2008
76views more  ECEASST 2008»
13 years 7 months ago
Implementing Petri Net Transformations using Graph Transformation Tools
Enrico Biermann, Claudia Ermel, Tony Modica, Peggy...
FASE
2001
Springer
13 years 12 months ago
Strengthening UML Collaboration Diagrams by State Transformations
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...
Reiko Heckel, Stefan Sauer
CASES
2009
ACM
14 years 2 months ago
Optimal loop parallelization for maximizing iteration-level parallelism
This paper solves the open problem of extracting the maximal number of iterations from a loop that can be executed in parallel on chip multiprocessors. Our algorithm solves it opt...
Duo Liu, Zili Shao, Meng Wang, Minyi Guo, Jingling...
ENTCS
2008
62views more  ENTCS 2008»
13 years 7 months ago
Undecidable Control Conditions in Graph Transformation Units
Graph transformation units are an approach-independent concept for programming by applying rules and imported transformation units to graphs, starting in an initial and ending in ...
Karsten Hölscher, Renate Klempien-Hinrichs, P...