1945 search results - page 203 / 389 » Speeding up Serpent |
220
click to vote
ICDM
2006
IEEE
16 years 16 days ago
2006
IEEE
How closely related are two nodes in a graph? How to compute this score quickly, on huge, disk-resident, real graphs? Random walk with restart (RWR) provides a good relevance scor...
176
click to vote
ACG
2006
Springer
16 years 15 days ago
2006
Springer
Abstract. Progressive Pruning (PP) is used in the Monte-Carlo go playing program Indigo. For each candidate move, PP launches random games starting with this move. PP gathers stati...
150
click to vote
CHARME
2005
Springer
16 years 1 days ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
142
click to vote
FROCOS
2005
Springer
16 years 23 hour ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
166
click to vote
ASPDAC
2004
ACM
15 years 12 months ago
2004
ACM
As gate delays decrease faster than wire delays for each technology generation, buffer insertion becomes a popular method to reduce the interconnect delay. Several modern buffer in...