146 search results - page 19 / 30 » Making Multiple Views Self-Maintainable in a Data Warehouse |
VMCAI
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
Sampling is a popular method of data collection when it is impossible or too costly to reach the entire population. For example, television show ratings in the United States are g...
APVIS
2011
12 years 7 months ago
2011
Many data sets exist that contain both geospatial and temporal elements. Within such data sets, it can be difficult to determine how the data have changed over spatial and tempor...
WOSP
2010
ACM
14 years 2 months ago
2010
ACM
In this paper we develop, implement and evaluate an approach to quickly reassign resources for a virtualized utility computing platform. The approach provides this platform agilit...
SIGMOD
1997
ACM
13 years 11 months ago
1997
ACM
: The read-mostly environment of data warehousing makes it possible to use more complex indexes to speed up queries than in situations where concurrent updatesare present. The curr...