38 search results - page 6 / 8 » Concurrent Algorithms and Data Types Animation over the Inte... |
129
click to vote
ESWS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
139
click to vote
ICTAC
2010
Springer
15 years 1 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 ...
127
click to vote
SIGCOMM
2009
ACM
15 years 9 months ago
2009
ACM
The routing architecture of the original 4.4BSD [3] kernel has been deployed successfully without major design modification for over 15 years. In the unified routing architectur...
140
click to vote
WWW
2010
ACM
15 years 8 months ago
2010
ACM
A wealth of knowledge is encoded in the form of tables on the World Wide Web. We propose a classification algorithm and a rich feature set for automatically recognizing layout tab...
124
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Many modern natural language-processing applications utilize search engines to locate large numbers of Web documents or to compute statistics over the Web corpus. Yet Web search e...