866 search results - page 6 / 174 » Bidirectionalizing graph transformations |
STTT
2010
15 years 1 months ago
2010
145
click to vote
IEEEHPCS
2010
15 years 23 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 19 days ago
2009
Springer
120
click to vote
ECEASST
2010
15 years 6 days 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...