Sciweavers

3660 search results - page 167 / 732
» Parallel Program Archetypes
Sort
View
SLP
1997
78views more  SLP 1997»
15 years 7 months ago
Using SimICS to Evaluate the Penny System
We demonstrate the bene ts of instruction-set simulation in the evaluation of a parallel programming system, Penny. The simulator is a reliable tool in exploring design alternativ...
Johan Montelius, Peter S. Magnusson
ICRA
2005
IEEE
128views Robotics» more  ICRA 2005»
15 years 12 months 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 6 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
SIGMOD
2012
ACM
234views Database» more  SIGMOD 2012»
13 years 8 months ago
Oracle in-database hadoop: when mapreduce meets RDBMS
Big data is the tar sands of the data world: vast reserves of raw gritty data whose valuable information content can only be extracted at great cost. MapReduce is a popular parall...
Xueyuan Su, Garret Swart
GECCO
2005
Springer
189views Optimization» more  GECCO 2005»
15 years 12 months ago
Molecular programming: evolving genetic programs in a test tube
We present a molecular computing algorithm for evolving DNA-encoded genetic programs in a test tube. The use of synthetic DNA molecules combined with biochemical techniques for va...
Byoung-Tak Zhang, Ha-Young Jang