Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Article(2)
Área temáticas
Ciencias de la computación(2)
Origen
scopus(2)
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 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