Sciweavers

956 search results - page 36 / 192
» Dimensions in program synthesis
Sort
View
122
Voted
ICRA
1998
IEEE
147views Robotics» more  ICRA 1998»
15 years 7 months ago
Biologically Inspired Robot Grasping Using Genetic Programming
This paper describes the innovative use of a genetic algorithm to solve the grasp synthesis problem for multifingered robot hands. The goal of our algorithm is to select a `best&#...
Jaime J. Fernandez, Ian D. Walker
111
Voted
PLDI
2012
ACM
13 years 5 months ago
Concurrent data representation synthesis
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin...
202
Voted
GECCO
2005
Springer
266views Optimization» more  GECCO 2005»
15 years 8 months ago
Total synthesis of algorithmic chemistries
Algorithmic Chemistries are Artificial Chemistries that aim at algorithms. In this contribution we present a new algorithm to execute Algorithmic Chemistries during evolution. Th...
Christian Lasarczyk, Wolfgang Banzhaf
121
Voted
FPGA
2005
ACM
158views FPGA» more  FPGA 2005»
15 years 8 months ago
Automated synthesis for asynchronous FPGAs
We present an automatic logic synthesis method targeted for highperformance asynchronous FPGA (AFPGA) architectures. Our method transforms sequential programs as well as high-leve...
Song Peng, David Fang, John Teifel, Rajit Manohar
101
Voted
DAC
1999
ACM
15 years 7 months ago
On ILP Formulations for Built-In Self-Testable Data Path Synthesis
In this paper, we present a new method to the built-in selftestable data path synthesis based on integer linear programming (ILP). Our method performs system register assignment, ...
Han Bin Kim, Dong Sam Ha, Takeshi Takahashi