2509 search results - page 115 / 502 » Abstract Geometrical Computation and Computable Analysis |
157
click to vote
CONCURRENCY
2002
15 years 6 months ago
2002
We present the results of a detailed study of the Virtual Interface (VI) paradigm as a communication foundation for a distributed computing environment. Using Active Messages and ...
143
click to vote
COMPGEOM
2003
ACM
15 years 11 months ago
2003
ACM
Randomized incremental constructions are widely used in computational geometry, but they perform very badly on large data because of their inherently random memory access patterns...
148
click to vote
TIP
1998
15 years 6 months ago
1998
—The distance transform has found many applications in image analysis. Chamfer distance transforms are a class of discrete algorithms that offer a good approximation to the desir...
223
click to vote
ICFP
2012
ACM
13 years 8 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
187
click to vote
GI
2007
Springer
16 years 16 days ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...