5350 search results - page 1011 / 1070 » Space and time in eco-ontologies |
CW
2002
IEEE
15 years 2 months ago
2002
IEEE
For sparse array operations, in general, the sparse arrays are compressed by some data compression schemes in order to obtain better performance. The Compressed Row/Column Storage...
DSN
2002
IEEE
15 years 2 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract— In this paper, we present a novel and comprehensive resource management solution for the autonomous hot-spot convergence system (AHSCS) that uses sensor web. This solut...
102
click to vote
MICRO
2002
IEEE
15 years 2 months ago
2002
IEEE
Pre-execution attacks cache misses for which conventional address-prediction driven prefetching is ineffective. In pre-execution, copies of cache miss computations are isolated fr...
VL
2002
IEEE
15 years 2 months ago
2002
IEEE
In recent years, real world objects have been used to reflect information previously shown on the computer screen. While most earlier efforts have required significant developer...