6601 search results - page 705 / 1321 » Optimal Distributed Arc-Consistency |
176
Voted
EUROPAR
2000
Springer
15 years 11 months ago
2000
Springer
We present a compiler algorithm called BitValue, which can discover both unused and constant bits in dusty-deck C programs. BitValue uses forward and backward dataflow analyses, ge...
209
click to vote
HPCN
2000
Springer
15 years 11 months ago
2000
Springer
This paper investigates the design and implementation of mobile computations in Java. We discuss various issues encountered while building a Java library that allows active objects...
208
Voted
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we propose several deadlock-free protocols for implementing the generalized alternative construct, where a process non-deterministically chooses between sending or ...
195
click to vote
PODS
2000
ACM
15 years 11 months ago
2000
ACM
In this paper, we propose a new tunable index scheme, called iMinMax , that maps points in high dimensional spaces to single dimension values determined by their maximum or minimu...
157
click to vote
PPSN
2000
Springer
15 years 11 months ago
2000
Springer
Domain knowledge is essential for successful problem solving and optimization. This paper introduces a framework in which a form of automatic domain knowledge extraction can be im...