6693 search results - page 1263 / 1339 » On an anytime algorithm for control |
151
Voted
ICCAD
2006
IEEE
16 years 7 days ago
2006
IEEE
— This paper presents a robust quadratic placement approach, which offers both high-quality placements and excellent computational efficiency. The additional force which distrib...
131
Voted
ICCAD
2006
IEEE
16 years 7 days ago
2006
IEEE
A dynamically reconfigurable processor (DRP) is designed to achieve high area efficiency by switching reconfigurable data paths dynamically. Our DRP architecture has a stand alone...
144
Voted
ICCAD
2002
IEEE
16 years 7 days ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
126
Voted
SOSP
2007
ACM
16 years 7 days ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...
153
Voted
IUI
2009
ACM
16 years 6 days ago
2009
ACM
Recent years have seen a resurgence of interest in programming by demonstration. As end users have become increasingly sophisticated, computer and artificial intelligence technolo...