Mostrando 3 resultados de: 3
Filtros aplicados
Subtipo de publicación
Article(3)
Publisher
Information Processing Letters(1)
Journal of Parallel and Distributed Computing(1)
Journal of Systems and Software(1)
Origen
scopus(3)
A 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 causal memory systems
ArticleAbstract: In this paper, we look at the interconnection of propagation-based causal Distributed shared memoryPalabras claves:Causal consistency, distributed shared memory, DISTRIBUTED SYSTEMS, Interconnection of systemsAutores: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:scopus