Adaptable distributed shared memory: A formal definition

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

Volumn 1470 LNCS, Issue , 1998, Pages 887-891

  Bataller, Jordi ^a   Bernabéu Aubán, José M ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

MESSAGE PASSING;

DISTRIBUTED SHARED MEMORY; EFFICIENT IMPLEMENTATION; FORMAL DEFINITION; MEMORY MODELS; MESSAGE PASSING SYSTEMS; SHARED MEMORY SYSTEM;

MEMORY ARCHITECTURE;

EID: 84882580915     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0057944     Document Type: Conference Paper

References (5)

1. J. Bataller and J. Bernabeu. Constructive and adaptable distributed shared memory. In Proc. of the 3rd Int'l Workshop on High-Level Parallel Programming Models and Supportive Environments, pages 15-22, March 1998.
2. :I. BatMler and J. Bernabeu-Auban. An adaptable dsm model: a formal description. Technical Report II-DSIC-17/97, Dep. de Sistemes Informatics i Computacio (DSIC), Universitat Politecnica de Valencia (Spain), 1997.
3. J. Bataller and J. Bernabeu-Auban. Synchronized DSM models. In Europar'97. Third Intl. Conf. on Parallel Processing, Lecture notes on computer science, pages 468-475. Springer-Verlag, August 1997.
4. J. B. Carter, J. K. Bennett, and W. Zwaenepoel. Techniques for reducing consistency-related communication in distributed shared memory systems. ACM Transactions on Computer Systems, 13(3):205-243, August 1995.
5. N. Lynch. I/O Automata: A model for discrete event system. Technical Report MIT/LCS/TM-351, Laboratory for Computer Science, Massachusetts Institute of Tecnology, March 1988.