1222 search results - page 100 / 245 » Verifying a File System Implementation |
129
Voted
ICPADS
2010
IEEE
15 years 17 days ago
2010
IEEE
As supercomputers are being built from an ever increasing number of processing elements, the effort required to achieve a substantial fraction of the system peak performance is con...
119
Voted
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
85
Voted
WWW
2001
ACM
16 years 3 months ago
2001
ACM
We identify crucial design issues in building a distributed inverted index for a large collection of web pages. We introduce a novel pipelining technique for structuring the core ...
106
Voted
CCGRID
2003
IEEE
15 years 8 months ago
2003
IEEE
I/O performance remains a weakness of parallel computing systems today. While this weakness is partly attributed to rapid advances in other system components, I/O interfaces avail...
125
Voted
JCP
2008
15 years 2 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...