Optimal deployment of eventually-serializable data services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5015 LNCS, Issue , 2008, Pages 188-202

  Michel, Laurent ^b   Shvartsman, Alexander ^b   Sonderegger, Eldine ^b   Van Hentenryck, Pascal ^a  

^a BROWN UNIVERSITY   (United States)

^b UNIVERSITY OF CONNECTICUT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION COSTS; DISTRIBUTED DATA SERVICES; EVENTUALLY-SERIALIZABLE DATA SERVICE (ESDS);

COMPUTER SOFTWARE; CONSTRAINT THEORY; DATA PROCESSING; DISTRIBUTED COMPUTER SYSTEMS; PARALLEL PROCESSING SYSTEMS;

FAULT TOLERANCE;

EID: 44649129397     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68155-7_16     Document Type: Conference Paper

References (17)

1. Aguilera, M.: Hewlett-Packard, Personal communication (2007)
2. Bastarrica, M., Demurjian, S., Shvartsman, A.: Software architectural specification for optimal object distribution. In: SCCC 1998: Proc. of the XVIII Intl. Conf. of the Chilean Computer Science Society, Washington, DC, USA (1998)
3. Bastarrica, M. C.: Architectural specification and optimal deployment of distributed systems. PhD thesis, University of Connecticut (2000)
4. Behrmann, G., David, A., Larsen, K., Möller, O., Pettersson, P., Yi, W.: Uppaal - present and future. In: Proceedings of the 40th IEEE Conference on Decision and Control (CDC 2001), pp. 2881-2886 (2001)
5. Cheiner, O., Shvartsman, A.: Implementing an eventually-serializable data service as a distributed system building block. Networks in Distributed Computing 45, 43-71 (1999)
6. Fekete, A., Gupta, D., Luchangco, V., Lynch, N., Shvartsman, A.: Eventually-serializable data services. In: PODC 1996: Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, pp. 300-309 (1996)
7. Gilbert, S., Lynch, N.A., Shvartsman, A.A.: RAMBO II: Rapidly reconfigurable atomic memory for dynamic networks. In: DSN, pp. 259-268. IEEE Computer Society Press, Los Alamitos (2003)
8. IETF. Domain name system, rfc 1034 and rfc 1035 (1990)
9. Kaynar, D.K., Lynch, N., Segala, R., Vaandrager, F.: The Theory of Timed I/O Automata, Synthesis Lectures in Computer Science. Morgan & Claypool Publishers, San Francisco (2006)
10. Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer 1(1-2), 134-152 (1997)
11. Lynch, N., Shvartsman, A.: RAMBO: A reconfigurable atomic memory service for dynamic networks. In: Proceedings of the 16th International Symposium on Distributed Computing, pp. 173-190 (2002)
12. Lynch, N., Tuttle, M.: An introduction to Input/Output Automata. CWI-Quarterly 2(3), 219-246 (1989)
13. Lynch, N.A., Garland, S., Kaynar, D., Michel, L., Shvartsman, A.: The Tempo Language User Guide and Reference Manual. VeroModo Inc. (December 2007), http://www.veromodo.com
14. Michel, L., See, A., Van Hentenryck, P.: Parallelizing constraint programs transparently. In: Proceedings of the 13th International Conference on the Principles and Practice of Constraint Programming (CP 2007), Providence, RI (2007)
15. Owre, S., Rajan, S., Rushby, J.M., Shankar, N., Srivas, M.K.: PVS: Combining specification, proof checking, and model checking. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 411-414. Springer, Heidelberg (1996)
16. Saito, Y., Frølund, S., Veitch, A.C., Merchant, A., Spence, S.: Fab: building distributed enterprise disk arrays from commodity components. In: Mukherjee, S., McKinley, K.S. (eds.) ASPLOS, pp. 48-58. ACM Press, New York (2004)
17. Van Hentenryck, P., Flener, P., Pearson, J., Ågren, M.: Tractable symmetry breaking for CSPs with interchangeable values. In: International Joint Conference on Artificial Intelligence (IJCAI 2003) (2003)