1744 search results - page 334 / 349 » A Proof-Carrying File System |
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
Stencil computation (SC) is of critical importance for broad scientific and engineering applications. However, it is a challenge to optimize complex, highorder SC on emerging clus...
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
IWPSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Predicting the defects in the next release of a large software system is a very valuable asset for the project manger to plan her resources. In this paper we argue that temporal f...
MSS
2007
IEEE
15 years 4 months ago
2007
IEEE
The high demand for large scale storage capacity calls for the availability of massive storage solutions with high performance interconnects. Although cluster file systems are rap...
100
click to vote
RWEB
2007
Springer
15 years 3 months ago
2007
Springer
Today customers want to use powerful search engines for their huge and increasing content repositories. Full-text-only products with simple result lists are not enough to satisfy t...