11376 search results - page 2181 / 2276 » Willow System Demonstration |
129
click to vote
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
MSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Increasing efforts have been aimed towards the management of power as a critical system resource, and the disk can consume approximately a third of the power required for a typica...
131
click to vote
SSDBM
2005
IEEE
15 years 6 months ago
2005
IEEE
Modern geographic information systems do not only have to handle static information but also dynamically moving objects. Clustering algorithms for these moving objects provide new...
116
click to vote
VISUALIZATION
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, we present two novel texture-based techniques to visualize uncertainty in time-dependent 2D flow fields. Both methods use semi-Lagrangian texture advection to sho...
118
click to vote
ISLPED
2005
ACM
15 years 6 months ago
2005
ACM
Disk power management is becoming increasingly important in high-end server and cluster type of environments that execute dataintensive applications. While hardware-only approache...