Sciweavers

4074 search results - page 64 / 815
» Abstract Graph Transformation
Sort
View
ECEASST
2007
47views more  ECEASST 2007»
14 years 10 months ago
Simulating Multigraph Transformations Using Simple Graphs
Iovka Boneva, Frank Hermann, Harmen Kastenberg, Ar...
IANDC
2007
62views more  IANDC 2007»
14 years 10 months ago
Unfolding semantics of graph transformation
Paolo Baldan, Andrea Corradini, Ugo Montanari, Lei...
ENTCS
2002
92views more  ENTCS 2002»
14 years 9 months ago
PLCTools: Graph Transformation Meets PLC Design
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...
Luciano Baresi, Marco Mauri, Mauro Pezzè
STTT
2010
104views more  STTT 2010»
14 years 8 months ago
Graph transformation tool contest 2008
Arend Rensink, Pieter Van Gorp
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, ...