11211 search results - page 1946 / 2243 » Rank-Sensitive Data Structures |
156
click to vote
BIRTHDAY
2007
Springer
16 years 24 days ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
152
click to vote
CASC
2007
Springer
16 years 24 days ago
2007
Springer
A common way of implementing multivariate polynomial multiplication and division is to represent polynomials as linked lists of terms sorted in a term ordering and to use repeated ...
163
click to vote
CIKM
2007
Springer
16 years 24 days ago
2007
Springer
This paper describes Koru, a new search interface that offers effective domain-independent knowledge-based information retrieval. Koru exhibits an understanding of the topics of b...
159
click to vote
CONCUR
2007
Springer
16 years 24 days ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
175
click to vote
CP
2007
Springer
16 years 24 days ago
2007
Springer
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...