63 search results - page 12 / 13 » Transparent pointer compression for linked data structures |
TPHOL
2009
IEEE
14 years 5 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
SIGMETRICS
2008
ACM
13 years 10 months ago
2008
ACM
Fine-grained network measurement requires routers and switches to update large arrays of counters at very high link speed (e.g. 40 Gbps). A naive algorithm needs an infeasible amo...
IPSN
2009
Springer
14 years 5 months ago
2009
Springer
In this work we present new in-network techniques for communication efficient approximate query processing in wireless sensornets. We use a model-based approach that constructs a...
CIDR
2003
14 years 7 days ago
2003
Web cache technologies have been developed as an extension of CPU cache, by modifying LRU (Least Recently Used) algorithms. Actually in web cache systems, we can use disks and ter...
WIAMIS
2009
IEEE
14 years 5 months ago
2009
IEEE
We present an approach to key frame extraction for structuring user generated videos on video sharing websites (e. g. YouTube). Our approach is intended to link existing image sea...