3731 search results - page 678 / 747 » cases 2006 |
102
Voted
OSDI
2006
ACM
16 years 25 days ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
186
Voted
SIGMOD
2006
ACM
16 years 21 days ago
2006
ACM
We study the problem of finding efficient equivalent viewbased rewritings of relational queries, focusing on query optimization using materialized views under the assumption that ...
170
Voted
SIGMOD
2006
ACM
16 years 21 days ago
2006
ACM
Wireless sensor networks have created new opportunities for data collection in a variety of scenarios, such as environmental and industrial, where we expect data to be temporally ...
196
Voted
SIGMOD
2006
ACM
16 years 21 days ago
2006
ACM
In many data sharing settings, such as within the biological and biomedical communities, global data consistency is not always attainable: different sites' data may be dirty,...
107
Voted
PODS
2006
ACM
16 years 20 days ago
2006
ACM
We study the randomized version of a computation model (introduced in [9, 10]) that restricts random access to external memory and internal memory space. Essentially, this model c...