2509 search results - page 115 / 502 » Abstract Geometrical Computation and Computable Analysis |
CONCURRENCY
2002
15 years 18 days 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 ...
90
Voted
COMPGEOM
2003
ACM
15 years 6 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...
TIP
1998
15 years 13 days 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...
144
Voted
ICFP
2012
ACM
13 years 3 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...
110
Voted
GI
2007
Springer
15 years 7 months 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...