4278 search results - page 455 / 856 » Data prefetch mechanisms |
224
click to vote
PAM
2011
Springer
14 years 10 months ago
2011
Springer
Internet applications that route data over default Internet paths can often increase performance by sending their traffic over alternative “detour” paths. Previous work has sho...
290
click to vote
CEAS
2011
Springer
14 years 7 months ago
2011
Springer
Web mail providers rely on users to “vote” to quickly and collaboratively identify spam messages. Unfortunately, spammers have begun to use bots to control large collections o...
176
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
332
click to vote
ICDE
2009
IEEE
16 years 9 months ago
2009
IEEE
XML streams, such as RSS feeds or complex event streams, are becoming increasingly pervasive as they provide the foundation for a wide range of emerging applications. An important...
334
click to vote
GIS
2004
ACM
16 years 8 months ago
2004
ACM
Grid is a promising e-Science infrastructure that promotes and facilitates the sharing and collaboration in the use of distributed heterogeneous resources through Virtual Organiza...