Sciweavers

866 search results - page 6 / 174
» Bidirectionalizing graph transformations
Sort
View
64
Voted
STTT
2010
104views more  STTT 2010»
14 years 8 months ago
Graph transformation tool contest 2008
Arend Rensink, Pieter Van Gorp
96
Voted
IEEEHPCS
2010
14 years 7 months ago
Reducing memory requirements of stream programs by graph transformations
Stream languages explicitly describe fork-join parallelism and pipelines, offering a powerful programming model for many-core Multi-Processor Systems on Chip (MPSoC). In an embedd...
Pablo de Oliveira Castro, Stéphane Louise, ...
78
Voted
CORR
2009
Springer
80views Education» more  CORR 2009»
14 years 7 months ago
Resource-Bound Quantification for Graph Transformation
Paolo Torrini, Reiko Heckel
ECEASST
2010
14 years 7 months ago
Checking Graph-Transformation Systems for Confluence
d Abstract) Detlef Plump Abstract. In general, it is undecidable whether a terminating graphtransformation system is confluent or not. We introduce the class of coverable hypergrap...
Detlef Plump