1222 search results - page 55 / 245 » Verifying a File System Implementation |
124
click to vote
ISSA
2004
15 years 3 months ago
2004
The World Wide Web (WWW) is fast becoming the central location for goods, services and information. The very factors that make the Internet such a powerful medium combine to make ...
135
click to vote
LISA
2004
15 years 3 months ago
2004
Originally published at Usenix LISA 2004 conference. November 2004 Atlanta, Georiga, USA. Log analysis is an important way to keep track of computers and networks. The use of auto...
149
click to vote
HOTOS
2003
IEEE
15 years 7 months ago
2003
IEEE
—Traditional hierarchical namespaces are not sufficient for representing and managing the rich semantics of today’s storage systems. In this paper, we discuss the principles o...
109
Voted
EGC
2005
Springer
15 years 8 months ago
2005
Springer
In multicluster systems, and more generally, in grids, jobs may require co-allocation, i.e., the simultaneous allocation of resources such as processors and input files in multipl...
101
click to vote
CAV
1994
Springer
15 years 6 months ago
1994
Springer
Relational Coarsest Partition Problems (RCPPs) play a vital role in verifying concurrent systems. It is known that RCPPs are P-complete and hence it may not be possible to design ...