2638 search results - page 472 / 528 » A Framework for Automatic Debugging |
100
click to vote
HPCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Estimating the maximum power and thermal characteristics of a processor is essential for designing its power delivery system, packaging, cooling, and power/thermal management sche...
109
click to vote
OSDI
2006
ACM
16 years 1 months 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...
206
Voted
VLDB
2007
ACM
16 years 1 months ago
2007
ACM
The deep Web presents a pressing need for integrating large numbers of dynamically evolving data sources. To be more automatic yet accurate in building an integration system, we o...
193
click to vote
SIGMOD
2008
ACM
16 years 1 months ago
2008
ACM
In this paper, we present Spade - the System S declarative stream processing engine. System S is a large-scale, distributed data stream processing middleware under development at ...
147
click to vote
WWW
2010
ACM
15 years 8 months ago
2010
ACM
Privacy is an enormous problem in online social networking sites. While sites such as Facebook allow users fine-grained control over who can see their profiles, it is difficult ...