4211 search results - page 738 / 843 » Types as Abstract Interpretations |
140
click to vote
STRINGOLOGY
2004
15 years 5 months ago
2004
Abstract. The edit distance between strings A and B is defined as the minimum number of edit operations needed in converting A into B or vice versa. Typically the allowed edit oper...
158
click to vote
NDDL
2003
15 years 5 months ago
2003
Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools...
165
click to vote
DAGSTUHL
1997
15 years 5 months ago
1997
This paper presents a technique for local surface extraction from scalar and vector fields using deformable surfaces. The goal of surface extraction is often to find features, o...
174
click to vote
NETWORKING
2000
15 years 5 months ago
2000
Abstract. The paper deals with tree-structured point-to-multipoint networks, where users from infinite user populations at the leaf nodes subscribe to a variety of channels, offere...
134
click to vote
INTERACT
1997
15 years 5 months ago
1997
ABSTRACT Do developers use proven usability techniques like user involvement, usability testing, and iterative design in industrial practice? Based on inside knowledge of many diff...