1153 search results - page 63 / 231 » Reversing graph transformations |
STTT
2010
15 years 26 days ago
2010
140
click to vote
IEEEHPCS
2010
15 years 12 days 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
15 years 9 days ago
2009
Springer
118
click to vote
ECEASST
2010
14 years 12 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...