Sciweavers

12741 search results - page 141 / 2549
» Editorial and call for papers
Sort
View
HPCA
2001
IEEE
16 years 6 months ago
Performance of Hardware Compressed Main Memory
A new memory subsystem called Memory Expansion Technology (MXT) has been built for compressing main memory contents. MXT effectively doubles the physically available memory. This ...
Bülent Abali, Dan E. Poff, Hubertus Franke, T...
CHI
2002
ACM
16 years 6 months ago
A tool-based interactive drawing environment
Graphical user interfaces rely heavily on the tool metaphor. In most drawing systems, for example, functions are organized as they might be on a workbench; buttons associated with...
Robert St. Amant, Thomas E. Horton
EDBT
2004
ACM
129views Database» more  EDBT 2004»
16 years 6 months ago
Beyond 1-Safety and 2-Safety for Replicated Databases: Group-Safety
In this paper, we study the safety guarantees of group communication-based database replication techniques. We show that there is a model mismatch between group communication and ...
Matthias Wiesmann, André Schiper
EWSN
2006
Springer
16 years 6 months ago
Constrained Tracking on a Road Network
Many applications of wireless ad hoc sensor and actuator networks (WSANs) rely on the knowledge of node locations. These are challenging to obtain when nodes are mobile and are not...
Matthias Grossglauser, Michal Piórkowski
ICCD
2005
IEEE
135views Hardware» more  ICCD 2005»
16 years 3 months ago
Extended Forward Implications and Dual Recurrence Relations to Identify Sequentially Untestable Faults
In this paper, we make two major contributions: First, to enhance Boolean learning, we propose a new class of logic implications called extended forward implications. Using a nove...
Manan Syal, Rajat Arora, Michael S. Hsiao