7215 search results - page 954 / 1443 » On the Consistency of Ranking Algorithms |
195
click to vote
SAS
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
145
click to vote
SAT
2004
Springer
16 years 13 days ago
2004
Springer
The variable branching heuristics used in the most recent and most effective SAT solvers, including zChaff and BerkMin, can be viewed as consisting of a simple mechanism for rewa...
142
click to vote
ANSS
2003
IEEE
16 years 12 days ago
2003
IEEE
Crosstalk noise evaluation consists in analysing the effect of the transition of a signal - called aggressor - on its neighbours - called victims. This evaluation is based on a mo...
188
click to vote
DSD
2003
IEEE
16 years 12 days ago
2003
IEEE
This paper presents a method with an evolutionary approach to some of the tasks of integrated-circuit (IC) design. The work is focused on application-specific integrated circuits ...
160
click to vote
ICDCS
2003
IEEE
16 years 12 days ago
2003
IEEE
This paper studies the problem of updates in decentralised and self-organising P2P systems in which peers have low online probabilities and only local knowledge. The update strate...