1550 search results - page 181 / 310 » Benchmarking for Graph Transformation |
99
Voted
FGCS
2000
15 years 18 days ago
2000
The LOGFLOW parallel Prolog system is similar to the recent parallel database systems concerning its dataflow execution model and its capability of running on othing architectures...
117
click to vote
TIT
2010
14 years 7 months ago
2010
Abstract--Motivated by applications of distributed linear estimation, distributed control, and distributed optimization, we consider the question of designing linear iterative algo...
124
Voted
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
119
click to vote
TCAD
1998
15 years 13 days ago
1998
— We introduce a transformation, named rephasing, that manipulates the timing parameters in control-data-flow graphs (CDFG’s) during the high-level synthesis of data-pathinten...
171
Voted
ICDE
1998
IEEE
16 years 2 months ago
1998
IEEE
Algebraic transformation and optimization techniques have been the method of choice in relational query execution, but applying them in OODBMS is difficult due to the complexity o...