1090 search results - page 162 / 218 » Type-Directed Partial Evaluation |
157
click to vote
DSN
2000
IEEE
15 years 10 months ago
2000
IEEE
Distributed applications can fail in subtle ways that depend on the state of multiple parts of a system. This complicates the validation of such systems via fault injection, since...
167
click to vote
SAS
1999
Springer
15 years 10 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...
153
click to vote
INFOVIS
1998
IEEE
15 years 10 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...
172
click to vote
AGP
1997
IEEE
15 years 10 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 ...
144
click to vote
CVPR
1997
IEEE
15 years 10 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...