10715 search results - page 1920 / 2143 » From Tests to Proofs |
191
click to vote
RTAS
2005
IEEE
16 years 7 days ago
2005
IEEE
— Convoy driving on public highways is a useful phenomena which increases the safety and the throughput of the highway. We present an approach through which a wireless Convoy Dri...
155
click to vote
TRIDENTCOM
2005
IEEE
16 years 7 days ago
2005
IEEE
Today’s Internet backbone networking devices need to be tested under realistic traffic conditions at transmission rates of OC-48 and above. While commercially available synthet...
174
click to vote
IMC
2005
ACM
16 years 6 days ago
2005
ACM
Abstract— The well-known PASTA (“Poisson Arrivals See Time Averages”) property states that, under very general conditions, the fraction of Poisson arrivals that observe an un...
170
Voted
PLDI
2005
ACM
16 years 6 days ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
152
click to vote
SIGIR
2005
ACM
16 years 6 days 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 ...