1518 search results - page 275 / 304 » Cryptographic Test Correction |
132
click to vote
PPOPP
2005
ACM
15 years 6 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...
SIGIR
2005
ACM
15 years 6 months ago
2005
ACM
We describe a method for improving the precision of metasearch results based upon scoring the visual features of documents' surrogate representations. These surrogate scores ...
103
Voted
SLIP
2005
ACM
15 years 6 months ago
2005
ACM
We propose in this paper a multilevel full-chip routing algorithm that improves testability and diagnosability, manufacturability, and signal integrity for yield enhancement. Two ...
106
Voted
VEE
2005
ACM
15 years 6 months ago
2005
ACM
Instrumentation is commonly used to track application behavior: to collect program profiles; to monitor component health and performance; to aid in component testing; and more. P...
102
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...