Sciweavers

956 search results - page 36 / 192
» Dimensions in program synthesis
Sort
View
ICRA
1998
IEEE
147views Robotics» more  ICRA 1998»
14 years 2 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
PLDI
2012
ACM
12 years 10 days 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...
GECCO
2005
Springer
266views Optimization» more  GECCO 2005»
14 years 3 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
FPGA
2005
ACM
158views FPGA» more  FPGA 2005»
14 years 3 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
DAC
1999
ACM
14 years 2 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