Mostrando 7 resultados de: 7
Publisher
Journal of Parallel and Distributed Computing(2)
Computer Journal(1)
Information Processing Letters(1)
Journal of Systems and Software(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Área de conocimiento
Ciencias de la computación(3)
Algoritmo(2)
Red informática(2)
Arquitectura de computadoras(1)
Cognición(1)
Origen
scopus(7)
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 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:scopusParallel interconnection of broadcast systems with multiple FIFO channels
Conference ObjectAbstract: This paper proposes new protocols for the interconnection of FIFO- and causal-ordered broadcast systPalabras claves:Autores:Cholvi V., Ernesto Jiménez, Marín R.D.J., Muñoz-Escoí F.D.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