8953 search results - page 263 / 1791 » Parallel Query Processing |
125
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
A one-counter automaton is a pushdown automaton over a singleton stack alphabet. We prove that the bisimilarity of processes generated by nondeterministic one-counter automata (wit...
132
click to vote
SIGIR
2009
ACM
15 years 9 months ago
2009
ACM
Large search engines process thousands of queries per second on billions of pages, making query processing a major factor in their operating costs. This has led to a lot of resear...
115
click to vote
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— While structured P2P systems (such as DHTs) are often regarded as an improvement over unstructured P2P systems (such as super-peer networks) in terms of routing efficiency, it...
115
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
111
click to vote
ICCHP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. While providing non-visual access to graphical user interfaces has been the topic of research for over 20 years, blind users still face many obstacles when using computer...