Sciweavers

866 search results - page 6 / 174
» Bidirectionalizing graph transformations
Sort
View
STTT
2010
104views more  STTT 2010»
14 years 10 months ago
Graph transformation tool contest 2008
Arend Rensink, Pieter Van Gorp
IEEEHPCS
2010
14 years 9 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, ...
CORR
2009
Springer
80views Education» more  CORR 2009»
14 years 9 months ago
Resource-Bound Quantification for Graph Transformation
Paolo Torrini, Reiko Heckel
ECEASST
2010
14 years 9 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