1391 search results - page 62 / 279 » Ensuring data integrity in storage: techniques and applicati... |
JAR
2006
14 years 11 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
119
click to vote
CLUSTER
2000
IEEE
14 years 11 months ago
2000
IEEE
With the increasing number of scientific applications manipulating huge amounts of data, effective high-level data management is an increasingly important problem. Unfortunately, ...
VISUALIZATION
2003
IEEE
15 years 5 months ago
2003
IEEE
Nowadays, direct volume rendering via 3D textures has positioned itself as an efficient tool for the display and visual analysis of volumetric scalar fields. It is commonly acce...
126
click to vote
SIGCOMM
1999
ACM
15 years 4 months ago
1999
ACM
This paper presents a novel framework for managing network congestion from an end-to-end perspective. Our work is motivated by several trends in traffic patterns that threaten th...
SSDBM
2003
IEEE
15 years 5 months ago
2003
IEEE
It is now common to encounter communities engaged in the collaborative analysis and transformation of large quantities of data over extended time periods. We argue that these comm...