Sciweavers

7092 search results - page 350 / 1419
» Parallelizing constraint programs
Sort
View
ICRA
2005
IEEE
128views Robotics» more  ICRA 2005»
16 years 23 days ago
A Low-Cost Easy Operation 4-Cable Driven Parallel Manipulator
- In this paper the design and kinematic performances are presented for a low-cost parallel manipulator with 4 driven cables. It has been conceived for an easy programming of its o...
Erika Ottaviano, Marco Ceccarelli, Alessio Paone, ...
JAR
2008
101views more  JAR 2008»
15 years 7 months ago
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
This article describes the formal verification of a compilation algorithm that transforms parallel moves (parallel assignments between variables) into a semanticallyequivalent sequ...
Laurence Rideau, Bernard P. Serpette, Xavier Leroy
DATE
2009
IEEE
143views Hardware» more  DATE 2009»
16 years 1 months ago
Dimensioning heterogeneous MPSoCs via parallelism analysis
—In embedded computing we face a continuously growing algorithm complexity combined with a constantly rising number of applications running on a single system. Multi-core systems...
Bastian Ristau, Torsten Limberg, Oliver Arnold, Ge...
SIPS
2006
IEEE
16 years 1 months ago
Partly Parallel Overlapped Sum-Product Decoder Architectures for Quasi-Cyclic LDPC Codes
Abstract— In this paper, we propose partly parallel architectures based on optimal overlapped sum-product (OSP) decoding. To ensure high throughput and hardware utilization effi...
Ning Chen, Yongmei Dai, Zhiyuan Yan
194
Voted
PDP
2003
IEEE
16 years 13 days ago
Scheduling strategies for mixed data and task parallelism on heterogeneous clusters and grids
We consider the execution of a complex application on a heterogeneous "grid" computing platform. The complex application consists of a suite of identical, independent pr...
Olivier Beaumont, Arnaud Legrand, Yves Robert