1090 search results - page 162 / 218 » Type-Directed Partial Evaluation |
DSN
2000
IEEE
14 years 2 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...
SAS
1999
Springer
14 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
14 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
14 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
14 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...