70 search results - page 1 / 14 » Type Safe Algorithmic Skeletons |
PDP
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
INFOCOM
2006
IEEE
13 years 10 months ago
2006
IEEE
— We propose efficient distributed algorithms to aid navigation of a user through a geographic area covered by sensors. The sensors sense the level of danger at their locations ...
ISVC
2005
Springer
13 years 10 months ago
2005
Springer
The extraction of consistent skeletons in the presence of boundary noise is still a problem for most skeletonization algorithms. Many suppress skeletons associated with boundary pe...
COMPGEOM
2009
ACM
13 years 11 months ago
2009
ACM
This paper studies the straight skeleton of polyhedra in three dimensions. We first address voxel-based polyhedra (polycubes), formed as the union of a collection of cubical (axis...
FLOPS
2010
Springer
13 years 3 months ago
2010
Springer
We present a flexible skeleton for implementing distributed work pools in our parallel functional language Eden. The skeleton manages a pool of tasks (work pool) in a distributed ...