4359 search results - page 839 / 872 » Automated Pipeline Design |
128
Voted
POPL
2010
ACM
16 years 22 days ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
139
Voted
POPL
2010
ACM
16 years 22 days ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
132
Voted
ICWS
2009
IEEE
16 years 16 days ago
2009
IEEE
Advances in the areas of embedded systems, computing, and networking are leading to an infrastructure composed of millions of heterogeneous devices. These devices will not simply ...
160
Voted
ICCAD
2002
IEEE
16 years 7 days 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...
128
Voted
SOSP
2003
ACM
16 years 7 days 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,...