2468 search results - page 427 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
151
Voted
BMCBI
2008
15 years 3 months ago
2008
imately 20 million abstracts. Browsing such a huge repository to find relevant information as well as providing elearning service requires new generation of interfaces. Methods suc...
131
Voted
HICSS
2010
IEEE
15 years 10 months ago
2010
IEEE
Numerous recent papers have found important relationships between network structure and risks within networks. These results indicate that network structure can dramatically affec...
140
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
It is now widely recognized that user interactions with search results can provide substantial relevance information on the documents displayed in the search results. In this pape...
154
Voted
ICS
2009
Tsinghua U.
15 years 8 months ago
2009
Tsinghua U.
New static source routing algorithms for High Performance Computing (HPC) are presented in this work. The target parallel architectures are based on the commonly used fattree netw...
124
Voted
SPAA
1997
ACM
15 years 7 months ago
1997
ACM
Pipelining has been used in the design of many PRAM algorithms to reduce their asymptotic running time. Paul, Vishkin, and Wagener (PVW) used the approach in a parallel implementat...