Sciweavers

874 search results - page 38 / 175
» Graph Transformation in a Nutshell
Sort
View
111
Voted
ENTCS
2002
92views more  ENTCS 2002»
15 years 3 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è
109
Voted
STTT
2010
104views more  STTT 2010»
15 years 2 months ago
Graph transformation tool contest 2008
Arend Rensink, Pieter Van Gorp
151
Voted
IEEEHPCS
2010
15 years 1 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, ...
73
Voted
CORR
2009
Springer
62views Education» more  CORR 2009»
15 years 1 months ago
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
Paolo Torrini, Reiko Heckel
CORR
2009
Springer
80views Education» more  CORR 2009»
15 years 1 months ago
Resource-Bound Quantification for Graph Transformation
Paolo Torrini, Reiko Heckel