Sciweavers

52 search results - page 1 / 11
» Optimal propagation-based protocols implementing causal memo...
Sort
View
DC
2006
13 years 5 months ago
Optimal propagation-based protocols implementing causal memories
Roberto Baldoni, Alessia Milani, Sara Tucci Piergi...
TSE
1998
112views more  TSE 1998»
13 years 4 months ago
Message Logging: Pessimistic, Optimistic, Causal, and Optimal
Message-logging protocols are an integral part of a popular technique for implementing processes that can recover from crash failures. All message-logging protocols require that, ...
Lorenzo Alvisi, Keith Marzullo
OPODIS
2003
13 years 6 months ago
Decoupled Interconnection of Distributed Memory Models
In this paper we present a framework to formally describe and study the interconnection of distributed shared memory systems. In our models we minimize the dependencies between the...
Ernesto Jiménez, Antonio Fernández, ...
JAVA
2001
Springer
13 years 9 months ago
Runtime optimizations for a Java DSM implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...
Ronald Veldema, Rutger F. H. Hofman, Raoul Bhoedja...
ICCAD
2000
IEEE
124views Hardware» more  ICCAD 2000»
13 years 9 months ago
A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
Gernot Koch, Taewhan Kim, Reiner Genevriere