1090 search results - page 153 / 218 » Resource-Bounded Partial Evaluation |
93
Voted
SAS
1999
Springer
15 years 2 months ago
1999
Springer
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...
INFOVIS
1998
IEEE
15 years 2 months ago
1998
IEEE
The order and arrangement of dimensions (variates) is crucial for the effectiveness of a large number of visualization techniques such as parallel coordinates, scatterplots, recur...
AGP
1997
IEEE
15 years 2 months ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...
CVPR
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper presents a new method for matching individual line segments between images. The method uses both greylevel information and the multiple view geometric relations between...
ICCAD
1997
IEEE
15 years 2 months ago
1997
IEEE
We present a new matrix formulation of the face hypercube embedding problem that motivates the design of an efficient search strategy to find an encoding that satisfies all fac...