4213 search results - page 427 / 843 » The Tau Parallel Performance System |
183
Voted
APN
2003
Springer
16 years 3 days ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
187
click to vote
ICS
2001
Tsinghua U.
15 years 11 months ago
2001
Tsinghua U.
An accurate, tractable, analytic cache model for time-shared systems is presented, which estimates the overall cache missrate of a multiprocessing system with any cache size and t...
200
Voted
FTDCS
2004
IEEE
15 years 10 months ago
2004
IEEE
A lot of recent work has dealt with improving performance of content searching in peer-to-peer file sharing systems. In this paper we attack this problem by modifying the overlay ...
167
click to vote
PE
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we study the problem of dynamic allocation of the resources of a general parallel processing system, comprised of M heterogeneous processors and M heterogeneous tra...
176
Voted
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
We present new methods to extend data reliability of disks in RAID systems for applications like long term data archival. The proposed solutions extend existing algorithms to detec...