1222 search results - page 18 / 245 » Verifying a File System Implementation |
145
click to vote
WADT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
134
click to vote
SIGMOD
2002
ACM
16 years 4 months ago
2002
ACM
Managing a combined store consisting of database data and file data in a robust and consistent manner is a challenge for database systems and content management systems. In such a...
112
click to vote
TOCS
2008
15 years 4 months ago
2008
We introduce external synchrony, a new model for local file I/O that provides the reliability and simplicity of synchronous I/O, yet also closely approximates the performance of a...
131
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
135
click to vote
WETICE
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper describes the design and implementation of a distributed file repository that supports data sharing in a variable connected environment. Our design is based on the obse...