1222 search results - page 19 / 245 » Verifying a File System Implementation |
OSDI
1994
ACM
13 years 8 months ago
1994
ACM
Structural changes, such as file creation and block allocation, have consistently been identified as file system performance problems in many user environments. We compare several...
CSMR
2009
IEEE
14 years 2 months ago
2009
IEEE
Multi-agent systems (MAS) are increasingly being exploited to support autonomous recommendation of products and information to contemporary application users. Multi-agent system p...
HICSS
2003
IEEE
14 years 21 days ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
DAGSTUHL
2008
13 years 8 months ago
2008
Abstract. A parallel version of the self-verified method for solving linear systems was presented in [19, 18]. In this research we propose improvements aiming at a better performan...
SOSP
2005
ACM
14 years 4 months ago
2005
ACM
We propose a primitive, called Pioneer, as a first step towards verifiable code execution on untrusted legacy hosts. Pioneer does not require any hardware support such as secure...