11784 search results - page 1996 / 2357 » Interpolation for data structures |
149
click to vote
BIRTHDAY
2007
Springer
16 years 6 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...
140
click to vote
CASC
2007
Springer
16 years 6 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 ...
147
click to vote
CIKM
2007
Springer
16 years 6 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...
146
click to vote
CONCUR
2007
Springer
16 years 6 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...
157
click to vote
CP
2007
Springer
16 years 6 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...