218 search results - page 13 / 44 » A Multi-level Approach to Program Synthesis |
FDL
2008
IEEE
15 years 6 months ago
2008
IEEE
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...
ICRA
1998
IEEE
15 years 3 months ago
1998
IEEE
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&#...
LCTRTS
2010
Springer
15 years 6 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
ICCAD
1994
IEEE
15 years 3 months ago
1994
IEEE
? We describe a synthesis system that takes operating range constraints and inter- and intra- circuit parametric manufacturing variations into account while designing a sized and b...
DAC
1998
ACM
16 years 19 days ago
1998
ACM
A C++ based programming environment for the design of complex high speed ASICs is presented. The design of a 75 Kgate DECT transceiver is used as a driver example. Compact descrip...