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)
Objetivos de Desarrollo Sostenible
ODS 17: Alianzas para lograr los objetivos(5)
ODS 8: Trabajo decente y crecimiento económico(5)
ODS 9: Industria, innovación e infraestructura(5)
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: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: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