Sciweavers

1396 search results - page 158 / 280
» Succinct Dynamic Data Structures
Sort
View
AOSD
2007
ACM
15 years 5 months ago
Performance improvement for persistent systems by AOP
Efficient data retrieval from databases is a significant issue of the design of persistent systems. We propose an aspect oriented persistent system named AspectualStore. Aspectual...
Yasuhiro Aoki, Shigeru Chiba
DSN
2006
IEEE
15 years 5 months ago
An Approach for Detecting and Distinguishing Errors versus Attacks in Sensor Networks
Distributed sensor networks are highly prone to accidental errors and malicious activities, owing to their limited resources and tight interaction with the environment. Yet only a...
Claudio Basile, Meeta Gupta, Zbigniew Kalbarczyk, ...
POPL
2004
ACM
16 years 1 months ago
Separation and information hiding
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
Peter W. O'Hearn, Hongseok Yang, John C. Reynolds
ICDE
2005
IEEE
146views Database» more  ICDE 2005»
15 years 7 months ago
Best Effort Query Processing in DHT-based P2P Systems
Structured P2P systems in the form of distributed hash tables (DHT) are a promising approach for building massively distributed data management platforms. However, for many applic...
Philipp Rösch, Kai-Uwe Sattler, Christian von...
JSCIC
2008
70views more  JSCIC 2008»
15 years 1 months ago
Extracting Grain Boundaries and Macroscopic Deformations from Images on Atomic Scale
Nowadays image acquisition in materials science allows the resolution of grains at atomic scale. Grains are material regions with different lattice orientation which are frequently...
Benjamin Berkels, Andreas Rätz, Martin Rumpf,...