249 search results - page 38 / 50 » Practical Prefetching Techniques for Parallel File Systems |
107
click to vote
COMPOS
1997
Springer
15 years 1 months 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...
50
Voted
IPPS
2006
IEEE
15 years 3 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 ...
104
click to vote
PODC
1997
ACM
15 years 1 months 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.
15 years 1 months 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
15 years 1 months 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...