1722 search results - page 162 / 345 » Dedication |
120
Voted
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...
131
click to vote
OTM
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we propose a reliable group communication solution dedicated to a data replication algorithm to adapt it to unreliable environments. The data replication algorithm,...
125
click to vote
SPIN
2009
Springer
15 years 9 months ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
118
click to vote
MM
2009
ACM
15 years 9 months ago
2009
ACM
Programmable processors have great advantage over dedicated ASIC design under intense time-to-market pressure. However, realtime encoding of high-definition (HD) H.264 video (up t...
123
click to vote
SIGIR
2009
ACM
15 years 9 months ago
2009
ACM
A growing trend in commercial search engines is the display of specialized content such as news, products, etc. interleaved with web search results. Ideally, this content should b...