249 search results - page 38 / 50 » Practical Prefetching Techniques for Parallel File Systems |
COMPOS
1997
Springer
14 years 25 days ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
—The use of programmability in Systems-on-Chip (SoC) brings as the main advantage the possibility of reducing the time-to-market and the cost of design, specially when different ...
PODC
1997
ACM
14 years 26 days ago
1997
ACM
Systems that store objects at a large number of sites require fault-tolerant and timely garbage collection. A popular technique is to trace each site independently using inter-sit...
ICS
1999
Tsinghua U.
14 years 28 days ago
1999
Tsinghua U.
Current high-end parallel systems achieve low-latency, highbandwidth network communication through the use of aggressive design techniques and expensive mechanical and electrical ...
PDIS
1994
IEEE
14 years 23 days ago
1994
IEEE
Many new database applications require very large volumes of data. Mariposa is a data base system under construction at Berkeley responding to this need. Mariposa objects can be s...