6102 search results - page 385 / 1221 » Generating Optimizing Specializers |
156
click to vote
BROADNETS
2005
IEEE
16 years 13 days ago
2005
IEEE
— We compare the effectiveness of uniform versus non-uniform waveband switching under the dual cost metrics of switching requirements and fiber capacity. We consider a star topo...
174
click to vote
GECCO
2003
Springer
16 years 20 hour ago
2003
Springer
Associative memories based on DNA-affinity have been proposed [2]. Here, the performance, efficiency, reliability of DNA-based memories is quantified through simulations in silico....
159
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
1 The problem of sorting an intransitive total ordered set, a generalization of regular sorting, is considered. This generalized sorting is based on the fact that there exists a s...
178
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
The paper describes a framework in the form of an optimization of a performance index subject to the constraints of a dynamic network, represented in the state space. The performa...
156
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Gandalf is a first-order resolution theorem-prover, optimized for speed and specializing in manipulations of large clauses. In this paper I describe GANDALF TAC, a HOL tactic that ...