1153 search results - page 63 / 231 » Reversing graph transformations |
STTT
2010
13 years 8 months ago
2010
IEEEHPCS
2010
13 years 8 months ago
2010
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...
CORR
2009
Springer
13 years 7 months ago
2009
Springer
CORR
2009
Springer
13 years 7 months ago
2009
Springer
ECEASST
2010
13 years 7 months ago
2010
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...