4242 search results - page 785 / 849 » An Event Spacing Experiment |
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Dividing web pages into fragments has been shown to provide significant benefits for both content generation and caching. In order for a web site to use fragment-based content gen...
PLDI
2009
ACM
14 years 9 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....
MICCAI
2009
Springer
14 years 9 months ago
2009
Springer
Compared with Diffusion Tensor Imaging (DTI), High Angular Resolution Imaging (HARDI) can better explore the complex microstructure of white matter. Orientation Distribution Functi...
PPOPP
2009
ACM
14 years 9 months ago
2009
ACM
Data prefetching has been widely used in the past as a technique for hiding memory access latencies. However, data prefetching in multi-threaded applications running on chip multi...
KDD
2009
ACM
14 years 9 months ago
2009
ACM
The discovery of biclusters, which denote groups of items that show coherent values across a subset of all the transactions in a data set, is an important type of analysis perform...