34202 search results - page 6439 / 6841 » The Tera computer system |
185
click to vote
CIKM
2004
Springer
16 years 8 days ago
2004
Springer
Hierarchical peer to peer networks with multiple directory services are an important architecture for large-scale file sharing due to their effectiveness and efficiency. Recent ...
180
click to vote
ICTAC
2004
Springer
16 years 7 days ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
234
click to vote
ISPA
2004
Springer
16 years 7 days ago
2004
Springer
Static DHT topologies influence important features of such DHTs such as scalability, communication load balancing, routing efficiency and fault tolerance. Nevertheless, it is co...
190
click to vote
MFCS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
195
click to vote
MIDDLEWARE
2004
Springer
16 years 7 days ago
2004
Springer
The Internet provides a wealth of useful information in a vast number of dynamic information sources, but it is difficult to determine which sources are useful for a given query. ...