8413 search results - page 1602 / 1683 » Ordering Problem Subgoals |
154
click to vote
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
117
click to vote
INFOCOM
1999
IEEE
15 years 7 months ago
1999
IEEE
In general topology networks, routing from one node to another over a tree embedded in the network is intuitively a good strategy, since it typically results in a route length of O...
136
click to vote
CHES
1999
Springer
15 years 7 months ago
1999
Springer
The strength of a cryptographic function depends on the amount of entropy in the cryptovariables that are used as keys. Using a large key length with a strong algorithm is false co...
141
Voted
ECAL
1999
Springer
15 years 7 months ago
1999
Springer
We use a new general-purpose model of neutral evolution of genotypes to make quantitative comparisons of diversity and adaptive evolutionary activity as a function of mutation rate...
132
click to vote
IWCC
1999
IEEE
15 years 7 months ago
1999
IEEE
The recent improvements in workstation and interconnection network performance have popularized the clusters of off-the-shelf workstations. However, the usefulness of these cluste...