Sciweavers

866 search results - page 6 / 174
» Bidirectionalizing graph transformations
Sort
View
92
Voted
STTT
2010
104views more  STTT 2010»
15 years 7 days ago
Graph transformation tool contest 2008
Arend Rensink, Pieter Van Gorp
IEEEHPCS
2010
14 years 11 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, ...
64
Voted
CORR
2009
Springer
62views Education» more  CORR 2009»
14 years 11 months ago
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
Paolo Torrini, Reiko Heckel
101
Voted
CORR
2009
Springer
80views Education» more  CORR 2009»
14 years 11 months ago
Resource-Bound Quantification for Graph Transformation
Paolo Torrini, Reiko Heckel
114
Voted
ECEASST
2010
14 years 11 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