Listar por autoría "1b23d355-6fa3-4ca4-9856-213965a3297a"

Mostrando ítems 1-5 de 5

    • closedAccess   A Methodological Construction of an Efficient Sequentially Consistent Distributed Shared Memory 

      Cholvi, Vicent; Fernández Anta, Antonio; Jiménez, Ernesto; Manzano, Pilar; raynal, michel Oxford University Press (2010)
      The paper proposes a simple protocol that ensures sequential consistency. The protocol assumes that the shared memory abstraction is supported by the local memories of nodes that can communicate only by exchanging messages ...

    • closedAccess   A parametrized algorithm that implements sequential, causal, and cache memory consistencies 

      Jiménez, Ernesto; Fernández Anta, Antonio; Cholvi, Vicent Elsevier (2008)
      In this paper, we present an algorithm that can be used to implement sequential, causal, or cache consistency in distributed shared memory (DSM) systems. For this purpose it includes a parameter that allows us to choose ...

    • closedAccess   Interconnection of distributed memory models 

      Cholvi, Vicent; Jiménez, Ernesto; Fernández Anta, Antonio Elsevier (2009)
      In this paper, we present a framework to formally describe and study the interconnection of distributed shared memory systems. Using it allows us to classify the consistency models in two groups, depending on whether they ...

    • closedAccess   On the interconnection of message passing systems 

      Alvarez, Agustin; Arévalo, Sergio; Cholvi, Vicent; Fernández Anta, Antonio; Jiménez, Ernesto Elsevier (2008)
      One of the most important abstractions for designing distributed programs is the broadcast facility. In this paper, we study the interconnection of distributed message passing systems. We have shown that totally ordered ...

    • closedAccess   Parallel Interconnection of Broadcast Systems with Multiple FIFO Channels 

      De Juan Marín, Rubén; Cholvi, Vicent; Jiménez, Ernesto; Muñoz Escoí, Francesc D. Springer Berlin Heidelberg (2009)
      This paper proposes new protocols for the interconnection of FIFO- and causal-ordered broadcast systems, thus increasing their scalability. They use several interconnection links between systems, which avoids bottleneck ...