4541 search results - page 635 / 909 » Cache-Oblivious Algorithms and Data Structures |
227
click to vote
WWW
2010
ACM
15 years 7 months ago
2010
ACM
Consider an online ad campaign run by an advertiser. The ad serving companies that handle such campaigns record users' behavior that leads to impressions of campaign ads, as ...
194
click to vote
BIOINFORMATICS
2006
15 years 7 months ago
2006
Motivation: Protein-protein interaction networks are one of the major post-genomic data sources available to molecular biologists. They provide a comprehensive view of the global ...
215
click to vote
ICTAC
2010
Springer
15 years 5 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
339
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper we explore database segmentation in the context of a column-store DBMS targeted at a scientific database. We present a novel hardware- and scheme-oblivious segmentati...
238
click to vote
INFOCOM
2005
IEEE
16 years 25 days ago
2005
IEEE
— This paper presents DONet, a Data-driven Overlay Network for live media streaming. The core operations in DONet are very simple: every node periodically exchanges data availabi...