2584 search results - page 239 / 517 » On the Forward Checking Algorithm |
114
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
In this study, we introduce two improved assessment metrics of multiobjective optimizers, Nondominated Ratio and Spacing Distribution, and analyze their rationality and validity. ...
127
click to vote
ICDCIT
2004
Springer
15 years 8 months ago
2004
Springer
We focus on the problem of distributing key updates in secure dynamic groups. Due to changes in group membership, the group controller needs to change and distribute the keys used...
127
click to vote
SODA
2008
ACM
15 years 4 months ago
2008
ACM
Greedy Routing is a class of routing algorithms in which the packets are forwarded in a manner that reduces the distance to the destination at every step. In an attempt to provide...
105
click to vote
ICCAD
2004
IEEE
15 years 12 months ago
2004
IEEE
This paper presents a chip-level charged device model (CDM) electrostatic discharge (ESD) simulation method. The chip-level simulation is formulated as a DC analysis problem. A ne...
110
click to vote
ATVA
2004
Springer
15 years 8 months ago
2004
Springer
This paper proposes a partial order reduction algorithm for timed trace theoretic verification in order to detect both safety failures and timing failures of timed circuits effic...