2132 search results - page 410 / 427 » Automated software winnowing |
153
Voted
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
123
Voted
SOSP
2003
ACM
15 years 11 months ago
2003
ACM
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...
124
Voted
AINA
2009
IEEE
15 years 9 months ago
2009
IEEE
The architectures which support modern supercomputing machinery are as diverse today, as at any point during the last twenty years. The variety of processor core arrangements, thr...
127
Voted
SENSYS
2009
ACM
15 years 9 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
112
Voted
BIRTHDAY
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We claim that user preferences are a key component of effective Web service composition, and one that has largely been ignored. In this paper we propose a means of speci...