6167 search results - page 237 / 1234 » Can Refinement be Automated |
165
click to vote
ISW
2009
Springer
16 years 16 days ago
2009
Springer
Various online studies on the prevalence of spyware attest overwhelming numbers (up to 80%) of infected home computers. However, the term spyware is ambiguous and can refer to anyt...
192
Voted
ISSTA
2009
ACM
16 years 14 days ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
159
click to vote
ICDCS
2007
IEEE
16 years 8 days ago
2007
IEEE
This work focuses on scenarios that require the storage of large amounts of data. Such systems require the ability to either continuously increase the storage space or reclaim spa...
172
click to vote
ICAC
2006
IEEE
16 years 19 hour ago
2006
IEEE
— Recent advances have demonstrated the potential benefits of coordinated management of thermal load in data centers, including reduced cooling costs and improved resistance to ...
196
click to vote
PPOPP
2005
ACM
15 years 11 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...