6437 search results - page 632 / 1288 » Parallel Algorithms for Arrangements |
230
click to vote
FMCO
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
200
Voted
PODC
2009
ACM
16 years 3 days ago
2009
ACM
We present DRR-gossip, an energy-efficient and robust aggregate computation algorithm in wireless sensor networks. We prove that the DRR-gossip algorithm requires O(n) messages a...
172
click to vote
EGH
2009
Springer
15 years 5 months ago
2009
Springer
Current GPUs rasterize micropolygons (polygons approximately one pixel in size) inefficiently. We design and analyze the costs of three alternative data-parallel algorithms for ra...
195
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
The recent emergence of multi-core processors enables a new trend in the usage of computers. Computer vision applications, which require heavy computation and lots of bandwidth, u...
180
click to vote
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
The use of multiprocessor tasks (M-tasks) has been shown to be successful for mixed task and data parallel implementations of algorithms from scientific computing. The approach o...