Mostrando 5 resultados de: 5
Filtros aplicados
Publisher
Computer Journal(1)
Information Processing Letters(1)
Journal of Parallel and Distributed Computing(1)
Journal of Systems and Software(1)
Proceedings - Third IEEE International Symposium on Network Computing and Applications, NCA 2004(1)
Área de conocimiento
Algoritmo(2)
Ciencias de la computación(2)
Arquitectura de computadoras(1)
Comunicación(1)
Red informática(1)
Origen
scopus(5)
A methodological construction of an efficient sequential consistency protocol
Conference ObjectAbstract: A concurrent object is an object that can be concurrently accessed by several processes. SequentialPalabras claves:Autores:Cholvi V., Ernesto Jiménez, Fernández Anta A., Raynal M.Fuentes:scopusA methodological construction of an efficient sequentially consistent distributed shared memory
ArticleAbstract: The paper proposes a simple protocol that ensures sequential consistency. The protocol assumes thatPalabras claves:distributed shared memory, DISTRIBUTED SYSTEMS, Sequential consistencyAutores:Cholvi V., Ernesto Jiménez, Fernández A., Manzano P., Raynal M.Fuentes:scopusA parametrized algorithm that implements sequential, causal, and cache memory consistencies
ArticleAbstract: In this paper, we present an algorithm that can be used to implement sequential, causal, or cache coPalabras claves:Causal consistency, Coherency models, distributed shared memory, DISTRIBUTED SYSTEMS, Sequential consistencyAutores:Cholvi V., Ernesto Jiménez, Fernández Anta A.Fuentes:scopusOn the interconnection of message passing systems
ArticleAbstract: One of the most important abstractions for designing distributed programs is the broadcast facility.Palabras claves:Design of algorithms, DISTRIBUTED SYSTEMS, Formal Methods, Interconnection networksAutores:Álvarez A., Arévalo S., Cholvi V., Ernesto Jiménez, Fernández Anta A.Fuentes:scopusInterconnection of distributed memory models
ArticleAbstract: In this paper, we present a framework to formally describe and study the interconnection of distribuPalabras claves:Correctness proofs, distributed algorithms, distributed shared memory, Impossibility result, Interconnection systems, Memory modelsAutores:Cholvi V., Ernesto Jiménez, Fernández Anta A.Fuentes:scopus