Sciweavers

1153 search results - page 63 / 231
» Reversing graph transformations
Sort
View
82
Voted
STTT
2010
104views more  STTT 2010»
14 years 11 months ago
Graph transformation tool contest 2008
Arend Rensink, Pieter Van Gorp
IEEEHPCS
2010
14 years 10 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, ...
60
Voted
CORR
2009
Springer
62views Education» more  CORR 2009»
14 years 10 months ago
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
Paolo Torrini, Reiko Heckel
93
Voted
CORR
2009
Springer
80views Education» more  CORR 2009»
14 years 10 months ago
Resource-Bound Quantification for Graph Transformation
Paolo Torrini, Reiko Heckel
106
Voted
ECEASST
2010
14 years 10 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