Search Sciweavers | Sciweavers

1511 search results - page 58 / 303

» Hierarchical Graph Transformation

157

click to vote

IEEEHPCS
2010

165views Applied Computing» more IEEEHPCS 2010»

Reducing memory requirements of stream programs by graph transformations

15 years 2 months ago

Download www.sifflez.org

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, ...

claim paper

Read More »

click to vote

CORR
2009
Springer

62views Education» more CORR 2009»

Towards an embedding of Graph Transformation in Intuitionistic Linear Logic

15 years 2 months ago

Download www.cs.le.ac.uk

Paolo Torrini, Reiko Heckel

claim paper

Read More »

123

click to vote

CORR
2009
Springer

80views Education» more CORR 2009»

Resource-Bound Quantification for Graph Transformation

15 years 2 months ago

Download www.cs.le.ac.uk

Paolo Torrini, Reiko Heckel

claim paper

Read More »

138

click to vote

ECEASST
2010

146views Computer Vision» more ECEASST 2010»

Checking Graph-Transformation Systems for Confluence

15 years 1 months ago

Download www.cs.york.ac.uk

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

claim paper

Read More »

click to vote

ECEASST
2010

98views Computer Vision» more ECEASST 2010»

Stochastic Graph Transformation with Regions

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers