11484 search results - page 2212 / 2297 » Modeling in the Large and Modeling in the Small |
SIGMETRICS
2005
ACM
15 years 3 months ago
2005
ACM
Peer-to-peer (p2p) file sharing systems are characterized by highly replicated content distributed among nodes with enormous aggregate resources for storage and communication. Th...
SIGMETRICS
2005
ACM
15 years 3 months ago
2005
ACM
This paper examines the performance of simultaneous multithreading (SMT) for network servers using actual hardware, multiple network server applications, and several workloads. Us...
110
click to vote
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
118
click to vote
CISC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Despite many good (secure) key agreement protocols based on publickey cryptography exist, secure associations between two wireless devices are often established using sym...
100
click to vote
ICS
2005
Tsinghua U.
15 years 3 months ago
2005
Tsinghua U.
Supercomputer architects strive to maximize the performance of scientific applications. Unfortunately, the large, unwieldy nature of most scientific applications has lead to the...