6102 search results - page 385 / 1221 » Generating Optimizing Specializers |
110
click to vote
BROADNETS
2005
IEEE
15 years 9 months 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...
129
Voted
GECCO
2003
Springer
15 years 9 months 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....
114
Voted
IPPS
2000
IEEE
15 years 8 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...
143
click to vote
ISCAS
1999
IEEE
15 years 8 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...
110
click to vote
TPHOL
1999
IEEE
15 years 8 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 ...