1940 search results - page 249 / 388 » Graph Transformation with Variables |
132
click to vote
GECCO
2003
Springer
15 years 11 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...
162
click to vote
GLVLSI
2002
IEEE
15 years 11 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...
150
click to vote
ISCAS
2002
IEEE
15 years 11 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...
170
click to vote
COSPS
2001
Springer
15 years 11 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...
146
click to vote
ICRA
1999
IEEE
15 years 10 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...