-
1
-
-
85080747724
-
Dynamic input/output automata, a formal model for dynamic systems
-
P. C. Attie and N. A. Lynch. Dynamic Input/Output Automata, a Formal Model for Dynamic Systems. In ACM PODC, 2001.
-
(2001)
ACM PODC
-
-
Attie, P.C.1
Lynch, N.A.2
-
2
-
-
33846551437
-
-
S. Best. JFS Overview. www.ibm.com/developerworks/library/ljfs.html, 2004.
-
(2004)
JFS Overview
-
-
Best, S.1
-
3
-
-
0034206420
-
Verifying temporal properties of reactive systems: A STeP tutorial
-
N. Bjorner, A. Browne, M. Colon, B. Finkbeiner, Z. Manna, H. Sipma, and T. E. Uribe. Verifying temporal properties of reactive systems: A STeP tutorial. Formal Methods in System Design (FMSD), 16(3):227–270, 2000.
-
(2000)
Formal Methods in System Design (FMSD)
, vol.16
, Issue.3
, pp. 227-270
-
-
Bjorner, N.1
Browne, A.2
Colon, M.3
Finkbeiner, B.4
Manna, Z.5
Sipma, H.6
Uribe, T.E.7
-
6
-
-
0005094356
-
Soft updates: A solution to the metadata update problem in file systems
-
May
-
G. R. Ganger, M. K. McKusick, C. A. Soules, and Y. N. Patt. Soft Updates: A Solution to the Metadata Update Problem in File Systems. ACM TOCS, 18(2), May 2000.
-
(2000)
ACM TOCS
, vol.18
, Issue.2
-
-
Ganger, G.R.1
McKusick, M.K.2
Soules, C.A.3
Patt, Y.N.4
-
7
-
-
0023826662
-
A theory of reliability in database systems
-
V. Hadzilacos. A Theory of Reliability in Database Systems. J. ACM, 35(1):121–145, 1988.
-
(1988)
J. ACM
, vol.35
, Issue.1
, pp. 121-145
-
-
Hadzilacos, V.1
-
8
-
-
84976824923
-
Reimplementing the cedar file system using logging and group commit
-
Nov
-
R. Hagmann. Reimplementing the Cedar File System Using Logging and Group Commit. In SOSP’87, Nov. 1987.
-
(1987)
SOSP’87
-
-
Hagmann, R.1
-
9
-
-
0030407533
-
Model and verification of a data manager based on ARIES
-
D. Kuo. Model and Verification of a Data Manager Based on ARIES. ACM Trans. Database Systems, 21(4):427–479, 1996.
-
(1996)
ACM Trans. Database Systems
, vol.21
, Issue.4
, pp. 427-479
-
-
Kuo, D.1
-
10
-
-
0028424892
-
The temporal logic of actions
-
L. Lamport. The Temporal Logic of Actions. ACM Trans. Program. Lang. Syst., 16(3):872–923, 1994.
-
(1994)
ACM Trans. Program. Lang. Syst.
, vol.16
, Issue.3
, pp. 872-923
-
-
Lamport, L.1
-
11
-
-
84976682539
-
A fast file system for UnIx
-
August
-
M. K. McKusick, W. N. Joy, S. J. Leffler, and R. S. Fabry. A Fast File System for UNIX. ACM Transactions on Computer Systems, 2(3):181–197, August 1984.
-
(1984)
ACM Transactions on Computer Systems
, vol.2
, Issue.3
, pp. 181-197
-
-
McKusick, M.K.1
Joy, W.N.2
Leffler, S.J.3
Fabry, R.S.4
-
12
-
-
85084160619
-
A better update policy
-
Boston, MA, June
-
J. C. Mogul. A Better Update Policy. In USENIX Summer’94, Boston, MA, June 1994.
-
(1994)
USENIX Summer’94
-
-
Mogul, J.C.1
-
13
-
-
0026822597
-
ARieS: A transaction recovery method supporting Fine-Granularity locking and p artial rollbacks using Write-Ahead logging
-
S. z. March
-
C. Mohan, D. Haderle, B. Lindsay, H. Pirahesh, and P. S. z. ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and P artial Rollbacks Using Write-Ahead Logging. ACM TODS, 17(1):94–162, March 1992.
-
(1992)
ACM TODS
, vol.17
, Issue.1
, pp. 94-162
-
-
Mohan, C.1
Haderle, D.2
Lindsay, B.3
Pirahesh, H.4
-
14
-
-
11244321232
-
CMC: A pragmatic approach to model checking real code
-
Dec
-
M. Musuvathi, D. Y. Park, A. Chou, D. R. Engler, and D. L. Dill. CMC: A pragmatic approach to model checking real code. In OSDI’02, Dec. 2002.
-
(2002)
OSDI’02
-
-
Musuvathi, M.1
Park, D.Y.2
Chou, A.3
Engler, D.R.4
Dill, D.L.5
-
15
-
-
49149133038
-
The temporal semantics of concurrent programs
-
A. Pnueli. The temporal semantics of concurrent programs. Theoretical Computer Science (TCS), 13:45–60, 1981.
-
(1981)
Theoretical Computer Science (TCS)
, vol.13
, pp. 45-60
-
-
Pnueli, A.1
-
20
-
-
85077070134
-
Life or death at block level
-
San Francisco, CA, December
-
M. Sivathanu, L. Bairavasundaram, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau. Life or Death at Block Level. In OSDI ’04, pages 379–394, San Francisco, CA, December 2004.
-
(2004)
OSDI ’04
, pp. 379-394
-
-
Sivathanu, M.1
Bairavasundaram, L.2
Arpaci-Dusseau, A.C.3
Arpaci-Dusseau, R.H.4
-
22
-
-
85076746692
-
Future directions for the EXT2/3 filesystem
-
Monterey, CA, June
-
T. Ts’o and S. Tweedie. Future Directions for the Ext2/3 Filesystem. In FREENIX’02, Monterey, CA, June 2002.
-
(2002)
FREENIX’02
-
-
Ts’o, T.1
Tweedie, S.2
-
24
-
-
84885668018
-
Using model checking to find serious file system errors
-
Dec
-
J. Yang, P. Twohey, D. Engler, and M. Musuvathi. Using Model Checking to Find Serious File System Errors. In OSDI’04, Dec. 2004.
-
(2004)
OSDI’04
-
-
Yang, J.1
Twohey, P.2
Engler, D.3
Musuvathi, M.4
|