14078 search results - page 2224 / 2816 » Design and Analysis of Computer Algorithms |
201
click to vote
CONCUR
2003
Springer
16 years 9 days ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
173
click to vote
GCC
2003
Springer
16 years 8 days ago
2003
Springer
Due to their minimum consideration to an actual network topology, the existing peer-to-peer (P2P) overlay networks will lead to high latency and low efficiency. In TaChord, we pres...
202
click to vote
IPTPS
2003
Springer
16 years 8 days ago
2003
Springer
We introduce a distributed hash table (DHT) with logarithmic degree and logarithmic dilation. We show two lookup algorithms. The first has a message complexity of log n and is ro...
214
click to vote
ICARCV
2002
IEEE
16 years 19 hour ago
2002
IEEE
Cooperative robotic systems provide design and implementation challenges that are not easy to solve. This paper describes a parallel implementation for evolving cooperative roboti...
195
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a new timing driven method for global placement. Our method is based on the observation that similar net length reductions in the different nets that make up a path may...