4278 search results - page 609 / 856 » Data prefetch mechanisms |
314
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Databases of text and text-annotated data constitute a significant fraction of the information available in electronic form. Searching and browsing are the typical ways that users ...
190
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
229
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
Web search engines are facing formidable performance challenges due to data sizes and query loads. The major engines have to process tens of thousands of queries per second over t...
195
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
Recent observations through experiments that we have performed in current third generation wireless networks have revealed that the achieved throughput over wireless links varies ...
375
click to vote
PLDI
2009
ACM
16 years 8 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....