218 search results - page 13 / 44 » A Multi-level Approach to Program Synthesis |
152
Voted
FDL
2008
IEEE
16 years 8 days 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 ...
163
Voted
ICRA
1998
IEEE
15 years 10 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&#...
147
Voted
LCTRTS
2010
Springer
16 years 19 days 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...
146
Voted
ICCAD
1994
IEEE
15 years 10 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...
140
Voted
DAC
1998
ACM
16 years 6 months 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...