-
1
-
-
4544228284
-
Strict linearizability and the power of aborting
-
Tech. Rep. 2003-241, Hewlett-Packard Laboratories
-
AGUILERA, M. AND FRØLUND, S. 2003. Strict linearizability and the power of aborting. Tech. Rep. 2003-241, Hewlett-Packard Laboratories.
-
(2003)
-
-
AGUILERA, M.1
FRØLUND, S.2
-
3
-
-
0037619265
-
Web search for a planet: The Google cluster architecture
-
BARROSO, L. A., DEAN, J., AND HOLZLE, U. 2003. Web search for a planet: The Google cluster architecture. IEEE Micro. 23, 2, 22-28.
-
(2003)
IEEE Micro
, vol.23
, Issue.2
, pp. 22-28
-
-
BARROSO, L.A.1
DEAN, J.2
HOLZLE, U.3
-
4
-
-
0001556566
-
The primary-backup approach
-
ACM Press/Addison-Wesley
-
BUDHIRAJA, N., MARZULLO, K., SCHNEIDER, F. B., AND TOUEG, S. 1993. The primary-backup approach. In Distributed Systems. ACM Press/Addison-Wesley.
-
(1993)
Distributed Systems
-
-
BUDHIRAJA, N.1
MARZULLO, K.2
SCHNEIDER, F.B.3
TOUEG, S.4
-
6
-
-
85084162339
-
Myriad: Cost-Effective disaster tolerance
-
CHANG, F., JI, M., LEUNG, S., MACCORMICK, J., PERL, S., AND ZHANG, L. 2002. Myriad: Cost-Effective disaster tolerance. In Proceedings of the Conference on File and Storage Technologies (FAST).
-
(2002)
Proceedings of the Conference on File and Storage Technologies (FAST)
-
-
CHANG, F.1
JI, M.2
LEUNG, S.3
MACCORMICK, J.4
PERL, S.5
ZHANG, L.6
-
10
-
-
33748142480
-
Average probe complexity in quorum systems
-
HASSIN, Y. AND PELEG, D. 2006. Average probe complexity in quorum systems. J. Comput. Syst. Sci. 72, 4, 592-616.
-
(2006)
J. Comput. Syst. Sci
, vol.72
, Issue.4
, pp. 592-616
-
-
HASSIN, Y.1
PELEG, D.2
-
11
-
-
0025460579
-
Linearizability: A correctness condition for concurrent objects
-
HERLIHY, M. P. AND WING, J. M. 1990. Linearizability: A correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst. 12, 3, 463-492.
-
(1990)
ACM Trans. Program. Lang. Syst
, vol.12
, Issue.3
, pp. 463-492
-
-
HERLIHY, M.P.1
WING, J.M.2
-
13
-
-
0026815276
-
Disconnected operation in the Coda file system
-
KISTLER, J. J. AND SATYANARAYANAN, M. 1992. Disconnected operation in the Coda file system. ACM Trans. Comput. Syst. 10, 1, 3-25.
-
(1992)
ACM Trans. Comput. Syst
, vol.10
, Issue.1
, pp. 3-25
-
-
KISTLER, J.J.1
SATYANARAYANAN, M.2
-
14
-
-
0018518477
-
-
LAMPORT, L. 1979. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput. C-28, 9 (Sept.), 690-91.
-
LAMPORT, L. 1979. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput. C-28, 9 (Sept.), 690-91.
-
-
-
-
15
-
-
0032058184
-
The part-time parliament
-
LAMPORT, L. 1998. The part-time parliament. ACM Trans. Comput. Syst. 16, 2, 133-169.
-
(1998)
ACM Trans. Comput. Syst
, vol.16
, Issue.2
, pp. 133-169
-
-
LAMPORT, L.1
-
19
-
-
5544319877
-
Replication in the Harp file system
-
ACM Press
-
LISKOV, B., GHEMAWAT, S., GRUBER, R., JOHNSON, P., AND SHRIRA, L. 1991. Replication in the Harp file system. In Proceedings of the 13th ACM Symposium on Operating Systems Principles (SOSP). ACM Press, 226-238.
-
(1991)
Proceedings of the 13th ACM Symposium on Operating Systems Principles (SOSP)
, pp. 226-238
-
-
LISKOV, B.1
GHEMAWAT, S.2
GRUBER, R.3
JOHNSON, P.4
SHRIRA, L.5
-
20
-
-
84889681906
-
Boxwood: Abstractions as the foundation for storage infrastructure
-
MACCORMICK, J., MURPHY, N., NAJORK, M., THEKKATH, C. A., AND ZHOU, L. 2004. Boxwood: Abstractions as the foundation for storage infrastructure. In Proceedings of the Symposium on Operating System Design and Implementation (OSDI).
-
(2004)
Proceedings of the Symposium on Operating System Design and Implementation (OSDI)
-
-
MACCORMICK, J.1
MURPHY, N.2
NAJORK, M.3
THEKKATH, C.A.4
ZHOU, L.5
-
22
-
-
0018533907
-
The serializability of concurrent database updates
-
PAPADIMITRIOU, C. H. 1979. The serializability of concurrent database updates. J. ACM 26, 4, 631-653.
-
(1979)
J. ACM
, vol.26
, Issue.4
, pp. 631-653
-
-
PAPADIMITRIOU, C.H.1
-
24
-
-
0031541392
-
Flexible update propagation for weakly consistent replication
-
ACM Press, New York
-
PETERSEN, K., SPREITZER, M. J., TERRY, D. B., THEIMER, M. M., AND DEMERS, A. J. 1997. Flexible update propagation for weakly consistent replication. In Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP). ACM Press, New York, 288-301.
-
(1997)
Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP)
, pp. 288-301
-
-
PETERSEN, K.1
SPREITZER, M.J.2
TERRY, D.B.3
THEIMER, M.M.4
DEMERS, A.J.5
-
25
-
-
84945125343
-
Multi-tier architecture for web search engines
-
IEEE Computer Society
-
RISVIK, K. M., AASHEIM, Y., AND LIDAL, M. 2003. Multi-tier architecture for web search engines. In Proceedings of the 1st Latin American Web Congress (LA-WEB), Empowering Our Web. IEEE Computer Society, 132-143.
-
(2003)
Proceedings of the 1st Latin American Web Congress (LA-WEB), Empowering Our Web
, pp. 132-143
-
-
RISVIK, K.M.1
AASHEIM, Y.2
LIDAL, M.3
-
26
-
-
33845446245
-
FAB: Building distributed enterprise disk arrays from commodity components
-
SAITO, Y., FRØLUND, S., VEITCH, A., MERCHANT, A., AND SPENCE, S. 2004. FAB: Building distributed enterprise disk arrays from commodity components. SIGOPS Oper. Syst. Rev. 38, 5, 48-58.
-
(2004)
SIGOPS Oper. Syst. Rev. 38
, vol.5
, pp. 48-58
-
-
SAITO, Y.1
FRØLUND, S.2
VEITCH, A.3
MERCHANT, A.4
SPENCE, S.5
|