1550 search results - page 16 / 310 » Benchmarking for Graph Transformation |
104
click to vote
ENTCS
2006
15 years 23 days ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
93
Voted
ICCAD
1995
IEEE
15 years 4 months ago
1995
IEEE
—A problem in technology mapping is that the quality of the final implementation depends significantly on the initially provided circuit structure. This problem is critical, es...
135
Voted
AAMAS
2011
Springer
14 years 7 months ago
2011
Springer
In this paper, we consider algorithms for distributed constraint optimisation problems (DCOPs). Using a potential game characterisation of DCOPs, we decompose six distributed DCOP...
95
Voted
GG
2004
Springer
15 years 6 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
90
Voted
JAIR
2006
15 years 21 days ago
2006
In a field of research about general reasoning mechanisms, it is essential to have appropriate benchmarks. Ideally, the benchmarks should reflect possible applications of the deve...