3719 search results - page 246 / 744 » order 2010 |
141
click to vote
WWW
2010
ACM
16 years 28 days ago
2010
ACM
We present two modifications to the popular k-means clustering algorithm to address the extreme requirements for latency, scalability, and sparsity encountered in user-facing web...
147
click to vote
TACAS
2010
Springer
16 years 28 days ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
165
click to vote
HICSS
2010
IEEE
16 years 25 days ago
2010
IEEE
The current trend towards dynamic and highly scalable service provisioning fosters the rise of Software as a Service (SaaS) platforms and so called Compute Clouds. The on-demand p...
167
click to vote
HICSS
2010
IEEE
16 years 25 days ago
2010
IEEE
IT service providers are increasingly required to orientate their service portfolio towards the IT support of their consumer’s business processes. This enables diversification a...
138
click to vote
ICDE
2010
IEEE
16 years 25 days ago
2010
IEEE
—Data compression techniques such as null suppression and dictionary compression are commonly used in today’s database systems. In order to effectively leverage compression, it...