1940 search results - page 249 / 388 » Graph Transformation with Variables |
112
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
A novel method, for solving satisfiability (SAT) instances is presented. It is based on two components: a) An Epistasis Reducer Algorithm (ERA) that produces a more suited represe...
135
click to vote
GLVLSI
2002
IEEE
15 years 9 months ago
2002
IEEE
The paper presents a satisfiability-based method for solving the board-level multiterminal net routing problem in Clos-Folded FPGA based logic emulation systems. The approach tran...
119
click to vote
ISCAS
2002
IEEE
15 years 9 months ago
2002
IEEE
We address the problem of checking the routability of segmented channels using satisfiability. The segmented channel routing problem arises in the context of row-based field progr...
143
click to vote
COSPS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Array privatization is one of the most e ective transformations for the exploitation of parallelism. In this paper, we present a technique for automatic array privatizati...
116
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
A general framework is presented for the design and analysis of cobot controllers. Cobots are inherently passive robots intended for direct collaborative work with a human operator...